...I’ve implemented the numtype-tf library which is in essence numtype using type families (hence the “-tf”) instead of functional dependencies....
More
Support this project and others with 1-click micro-donations
Big change through small donations
Support people and projects you love, one click at a time
Love the free and open Internet?
Thankful for Wikipedia, that free software or the tune you downloaded yesterday?
With Flattr, you donate small amounts to people and projects that you care about. As more people join in, those small donations add up to big change.
-
1-click transactions
Donate as you browse the web. Think of it as a "Like" button with real meaning.
-
True micro-donations
5, 10, 20 cents or more - we can handle it.
-
Fixed budget
Never worry about giving more than you can afford.
