Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Algebraic data types and mathematical reasoning
Power of mathematics: Reasoning about functional types
The algebra (and calculus!) of algebraic data types
Algebraic type sizes and domain modelling

This comment has been minimized.

Copy link

commented Dec 7, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.