summaryrefslogtreecommitdiff
path: root/src/search.sml
Commit message (Collapse)AuthorAge
* Simple elaboration workingGravatar Adam Chlipala2008-03-28
|
* Check for leftover kind unifsGravatar Adam Chlipala2008-01-26
|
* Start of elaborationGravatar Adam Chlipala2008-01-26