181 reputation
2
bio website
location
age
visits member for 2 years, 6 months
seen Jul 18 at 18:37

Sep
7
answered Why don't we have a non-turing complete general purpose language yet?
Sep
6
awarded  Supporter
Jan
31
awarded  Teacher
Jun
1
answered “A proof is a program; the formula it proves is a type for the program”