gentoo.mahdi.cz
dev-haskell
:numtype-dk
Type-level integers, using TypeNats, Data Kinds, and Closed Type Families
https://github.com/bjornbm/numtype-dk
numtype-dk-0.5.0.3
BSD
download
~amd64
haskell