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