summaryrefslogtreecommitdiff
path: root/Test/hofs/Compilation.dfy
Commit message (Collapse)AuthorAge
* Add lambda compilation example, and remove some unused files from the testsGravatar Dan Rosén2014-08-13
|
* Compile lambda functions and apply expressions, and change let expr compilationGravatar Dan Rosén2014-08-12