summaryrefslogtreecommitdiff
path: root/src/core_print.sig
Commit message (Expand)AuthorAge
* Effectness analysisGravatar Adam Chlipala2009-04-16
* demo/hello compiles with kind polymorphismGravatar Adam Chlipala2009-02-22
* Laconic -> UrGravatar Adam Chlipala2008-08-31
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08
* Simple forms workGravatar Adam Chlipala2008-07-22
* Conversion to CoreGravatar Adam Chlipala2008-06-08