log tests/specialize.ur

age author description
2008-09-11 Adam Chlipala Optimization removes linear let-bindings of impure expressions
2008-09-11 Adam Chlipala Fix memory bounds checks; specialization of multi-argument polymorphic function works
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-11 Adam Chlipala Unpoly non-recursive function