log src/core_util.sig

age author description
2009-03-28 Adam Chlipala Marshalcheck
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2008-11-27 Adam Chlipala Avoid Especializing polymorphic code
2008-11-11 Adam Chlipala Get preliminary ThreadedBlog working
2008-11-09 Adam Chlipala Defunctionalization gets CommentBlog working
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-11-08 Adam Chlipala Broaden set of possible especializations
2008-10-30 Adam Chlipala Especialize