Mercurial > urweb
log lib/ur/list.ur
age | author | description |
---|---|---|
2009-05-30 | Adam Chlipala | Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
2009-05-28 | Adam Chlipala | Fix EDLet elab_util bug |
2009-05-28 | Adam Chlipala | fn-pattern code in but not tested yet; hello compiles |
2009-05-26 | Adam Chlipala | Chars and more string operations |
2009-05-21 | Adam Chlipala | Change List.mapM' to avoid leaving functions around |
2009-05-14 | Adam Chlipala | Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
2009-05-14 | Adam Chlipala | Fix a nasty binding bug in CoreUtil |
2009-05-14 | Adam Chlipala | Improving/reordering Unpoly and Especialize; pathmaps |