| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : urweb | |
| functional programming language for web programming |
| aboutsummaryrefslogtreecommitdiffhomepage |