4 ms·
There's F# and then there's "F* " language that seem to have higher-kinded types (I really mean F* as in 'F-star' language)
by devdoomari 9y ago
There's F# and then there's "F* " language that seem to have higher-kinded types
(I really mean F* as in 'F-star' language)