Skip to content

Instantly share code, notes, and snippets.

@nmcb

nmcb/math

Created July 31, 2016 19:37
Show Gist options
  • Save nmcb/849c7e7bfaf5aedce055097f4d663751 to your computer and use it in GitHub Desktop.
Save nmcb/849c7e7bfaf5aedce055097f4d663751 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
math
"Math is composable" --B. Beckmann's Pragmatical argument, at work 2014
"Math is discovered" --P. Wadler's Modus Ponens argument, Lambda Days 2016
"Math is invented" --B. Meliwsky's Composition argument, Lambda Days 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment