summaryrefslogtreecommitdiff
path: root/src/search.sig
Commit message (Expand)AuthorAge
* first iteration of "typeOf" commandGravatar FrigoEU2019-07-31
* Simple elaboration workingGravatar Adam Chlipala2008-03-28
* Check for leftover kind unifsGravatar Adam Chlipala2008-01-26
* Start of elaborationGravatar Adam Chlipala2008-01-26