log src/elab_ops.sml

age author description
2009-11-17 Adam Chlipala Hooks for measuring how much interesting proving is going on in elaboration
2009-10-06 Adam Chlipala Fix a de Bruijn index bug in map fusion
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-11-27 Adam Chlipala Optimized ElabOps.subConInCon
2008-11-12 Adam Chlipala Map distributivity rule in hnormCon
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Fixed a mind-numbing De Bruijn bug
2008-09-11 Adam Chlipala Crud list works
2008-08-16 Adam Chlipala Stub WHERE support
2008-08-14 Adam Chlipala Non-star SELECT
2008-07-01 Adam Chlipala Factor some operations into ElabOps