Linking pages
- The algebra (and calculus!) of algebraic data types https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types 149 comments
- Lens as a Divisibility Relation: Goofin’ Off With the Algebra of Types | Hey There Buddo! http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ 9 comments
Related searches:
Search whole site: site:strictlypositive.org
Search title: Differential Calculus with Datatypes
See how to search.