log lib/ur/list.urs

age author description
2009-12-31 Adam Chlipala Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-05 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
2009-09-08 Adam Chlipala dragList almost kinda works
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-06-16 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff
2009-06-09 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-09 Adam Chlipala Mark current as effectful; add List functions
2009-06-07 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07 Adam Chlipala List.all; fix ANDALSO/ORELSE parsing precedence
2009-06-06 Adam Chlipala Fix unbound name problem in Jscomp injectors; more List stuff
2009-06-06 Adam Chlipala List library additions; fix another substructure unification bug
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