"This guy who is discovering it by himself" is me (the OP) about a year ago! Der...

crntaylor on Feb 10, 2013 | parent | context | favorite | on: The Algebra of Algebraic Data Types

"This guy who is discovering it by himself" is me (the OP) about a year ago!

Derivatives of types to come in part II or III (or just watch the talk on YouTube: http://www.youtube.com/watch?v=YScIPA8RbVE)