Mercurial > urweb
log src/sources
age | author | description |
---|---|---|
2008-09-13 | Adam Chlipala | foldTR2 |
2008-09-11 | Adam Chlipala | Unpoly non-recursive function |
2008-09-09 | Adam Chlipala | Termination checking |
2008-09-07 | Adam Chlipala | Ran a prepared statement with one string parameter |
2008-08-31 | Adam Chlipala | Laconic -> Ur |
2008-08-08 | Adam Chlipala | Specialization of single-parameter datatypes |
2008-07-17 | Adam Chlipala | MonoShake |
2008-07-17 | Adam Chlipala | MonoReduce |
2008-07-17 | Adam Chlipala | Untangle |
2008-07-13 | Adam Chlipala | Starting with closure links |
2008-07-13 | Adam Chlipala | Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-07-10 | Adam Chlipala | Fix dependency graph mismatch in sources |