...I’ve implemented the numtype-tf library which is in essence numtype using type families (hence the “-tf”) instead of functional dependencies....
More
Give back to creators
Give microdonations when you Like, Favorite & Star.
