summaryrefslogtreecommitdiff
path: root/src/search.sig
Commit message (Collapse)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