summaryrefslogtreecommitdiff
path: root/src/expl_util.sig
Commit message (Expand)AuthorAge
* Kind polymorphism through ExplifyGravatar Adam Chlipala2009-02-22
* 'Option' datatype encodingGravatar Adam Chlipala2008-08-09
* Datatype representation optimizationGravatar Adam Chlipala2008-08-03
* Proper hiding of shadowed bindings in principal signaturesGravatar Adam Chlipala2008-06-26
* ExplifyGravatar Adam Chlipala2008-06-19