see Curry–Howard correspondence; Wikipedia The algebra (and calculus!) of algebraic data types; Joel Burget
-
Notifications
You must be signed in to change notification settings - Fork 0
NEUWireless/types-talk
About
talk about types and type systems
Resources
Stars
Watchers
Forks
Releases
No releases published