summaryrefslogtreecommitdiff
path: root/Test/dafny0/NoTypeArgs.dfy
Commit message (Expand)AuthorAge
* fixed and improved scheme for inferring type parametersGravatar Rustan Leino2012-10-19
* Dafny: allow various forms of leaving off type arguments in declarationsGravatar Rustan Leino2012-02-16