Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Start 'more' demo with dbgrid | Adam Chlipala | 2009-09-08 |
* | C FFI compiler options | Adam Chlipala | 2009-04-30 |
* | Start of Featherweight Ur semantics | Adam Chlipala | 2009-02-17 |
* | Module projection | Adam Chlipala | 2008-11-29 |
* | Start of manual | Adam Chlipala | 2008-11-27 |
* | Profiling in Makefile | Adam Chlipala | 2008-11-25 |
* | Transactions seem to be working | Adam Chlipala | 2008-10-24 |
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
* | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 |
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
* | Laconic -> Ur | Adam Chlipala | 2008-08-31 |
* | Writing HTML | Adam Chlipala | 2008-07-10 |
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 |
* | Initial skeleton | Adam Chlipala | 2008-01-26 |