4 ms·
Right. Seeing something like how to model the denotational semantics of the space of functions between two finite datatypes is easy to do in Haskell and really
by chalst 15y ago
Right. Seeing something like how to model the denotational semantics of the space of functions between two finite datatypes is easy to do in Haskell and really illuminating.
A long list of unmotivated definitions is not.