Mercurial > urweb
log lib/ur/list.urs
age | author | description |
---|---|---|
2009-05-30 | Adam Chlipala | Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly |
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-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 |