Loading...
The algebra (and calculus!) of algebraic data types
codewords.recurse.com
Algebra of ADTs
#adts #haskell
#기타-북마크Highlights
Why are there eight inhabitants of Tri -> Bool, but nine of Bool -> Tri?
Collect and share the web
Get started for free