summaryrefslogtreecommitdiff
path: root/src/explify.sml
Commit message (Expand)AuthorAge
* Proper hiding of shadowed bindings in principal signaturesGravatar Adam Chlipala2008-06-26
* SubsignaturesGravatar Adam Chlipala2008-06-22
* Start of FFIGravatar Adam Chlipala2008-06-22
* Explifying functorsGravatar Adam Chlipala2008-06-19
* Elaborating functor applicationsGravatar Adam Chlipala2008-06-19
* Elaborating 'where'Gravatar Adam Chlipala2008-06-19
* Beginning of functor elaborationGravatar Adam Chlipala2008-06-19
* ExplifyGravatar Adam Chlipala2008-06-19