Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
some-1
1
Split out of
dependent-sum
Have
GADT
,
Newtype
,
Church
variants
Add
NFData
instance