...I’ve implemented the numtype-tf library which is in essence numtype using type families (hence the “-tf”) instead of functional dependencies.... More

2 Flattr microdonations from 2 people