Re:Apple and LaTeX
by ioquatix on Sunday July 02, 2017 @09:14AM
(#14682337)
Woah there, some programmers are mathematicians.
[ Parent
| on HN ]
All programmers who have heard of the Curry-Howard correspondence are mathematicians.