Mercurial > urweb
log lib/top.urs
age | author | description |
---|---|---|
2008-11-06 | Adam Chlipala | Tree demo works |
2008-11-06 | Adam Chlipala | About to begin optimization of recursive transaction functions |
2008-10-31 | Adam Chlipala | Replace 'with' with '++' |
2008-10-30 | Adam Chlipala | Time MIN/MAX |
2008-10-23 | Adam Chlipala | Crud2 demo |
2008-10-23 | Adam Chlipala | Metaform demos, minus prose |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |
2008-10-12 | Adam Chlipala | top.urs indents and type-checks with new twiddle syntax |
2008-10-04 | Adam Chlipala | Merge CDisjoint and TDisjoint |
2008-09-14 | Adam Chlipala | Crud update form |
2008-09-14 | Adam Chlipala | Crud supports INSERT |
2008-09-14 | Adam Chlipala | Crud gets column headings |
2008-09-13 | Adam Chlipala | queryX |
2008-09-13 | Adam Chlipala | foldTRX2 |
2008-09-13 | Adam Chlipala | foldTR2 |
2008-09-11 | Adam Chlipala | Crud listing IDs |