log src/core_print.sig

age author description
2009-04-30 Adam Chlipala Basis.list
2009-04-16 Adam Chlipala Effectness analysis
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-22 Adam Chlipala Simple forms work
2008-06-08 Adam Chlipala Conversion to Core