cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
70,889 Commits 1 Branch 0 Tags 554 MiB
6984f2b752
Commit Graph

2 Commits

Author SHA1 Message Date
espie
c5a475ebe0 normalize pkgpath 2011-09-16 09:24:48 +00:00
jasper
b2ec4b7be1 import hs-type-level 0.2.4 
This library permits performing computations on the type-level.
Type-level functions are implemented using functional dependencies of
multi parameter type classes. To date, Booleans and Numerals (Naturals
and Positives) are supported.

ok kili@
 2011-05-01 17:29:26 +00:00