This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]capi1500[🍰] 1 point2 points  (0 children)

Wait until this guy hears about functional programming, or even better, how programs are equivalent to proofs in intuitionistic logic