search

tpetricek / tomasp.net

Source code for my web site and blog - yet another remake!
25 stars 19 forks source link

Very meta PR to fix a typo #27

Closed glifchits closed 4 years ago

glifchits commented 4 years ago

I enjoyed your post on the lambda calculus and the philosophy of math — the only typo I found was in the request for fixing typos!

tpetricek commented 4 years ago

I could claim this was an intentional exercise for the readers, but it really was just a typo :-) Thanks!