[<<][haskell][>>][..]
Tue May 21 09:25:06 EDT 2019

Making ideas precise

Boils down to how to nest data structures.  Each level of nesting can
then be tagged by some semantics, determined by what operations can
work on the wrapper.




[Reply][About]
[<<][haskell][>>][..]