summaryrefslogtreecommitdiff
path: root/tests/impl.lac
Commit message (Collapse)AuthorAge
* Laconic -> UrGravatar Adam Chlipala2008-08-31
|
* Unification wildcardsGravatar Adam Chlipala2008-06-08
|
* Further experiments with implicit argumentsGravatar Adam Chlipala2008-06-08
|
* Implicit constructor argumentsGravatar Adam Chlipala2008-06-08