Owner
andrewthad
1 indexed repository · View on GitHub
-
quantification
Data types and type classes for universally and existentially quantified types
Haskell · 4 stars
Loading issues
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
andrewthad/quantification#9 · 2 comments ·
-
module structure Open
Difficulty 5/5 Over a week Newbie friendliness 25/100