kpriv/pkgsrc-wip
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
38044 commits 1 branch 0 tags 462 MiB
Commit graph

1 commit

Author SHA1 Message Date
PHO / phonohawk
efc5dd389c Import hs-dependent-sum-0.2.0.1 as wip/hs-dependent-sum. 
Dependent sums and supporting typeclasses for comparing and formatting
them.
 2011-12-21 15:31:47 +00:00