index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
elab_ops.sml
Commit message (
Collapse
)
Author
Age
*
Tweaks to choices of source positions to use in error messages, including ↵
Adam Chlipala
2011-11-05
|
|
|
|
for subSgn
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
|
*
Hooks for measuring how much interesting proving is going on in elaboration
Adam Chlipala
2009-11-17
|
*
Fix a de Bruijn index bug in map fusion
Adam Chlipala
2009-10-06
|
*
Library improvements; proper list [un]urlification; remove server-side ↵
Adam Chlipala
2009-08-09
|
|
|
|
ServerCalls; eta reduction in type inference
*
Switch to TDisjoint from CDisjoint; still need to implement obligation ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Optimized ElabOps.subConInCon
Adam Chlipala
2008-11-27
|
*
Map distributivity rule in hnormCon
Adam Chlipala
2008-11-11
|
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
foldTR2
Adam Chlipala
2008-09-13
|
*
Fixed a mind-numbing De Bruijn bug
Adam Chlipala
2008-09-11
|
*
Crud list works
Adam Chlipala
2008-09-11
|
*
Stub WHERE support
Adam Chlipala
2008-08-16
|
*
Non-star SELECT
Adam Chlipala
2008-08-14
|
*
Factor some operations into ElabOps
Adam Chlipala
2008-07-01