summaryrefslogtreecommitdiff
path: root/compiler/typecheck/FamInst.lhs-boot
Commit message (Expand)AuthorAgeFilesLines
* Make type-level evaluation work with :kind!Iavor S. Diatchki2013-11-121-5/+0
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+5