4 months ago|discuss
user: Gajurgensen
38 karma | created 7 years ago
recent submissions
4 months ago|discuss
4 months ago|discuss
10 months ago|discuss
10 months ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
The Curry-Howard Correspondence
(grant.jurgensen.dev)
3 pts|4 years ago|discuss
5 years ago|discuss
5 years ago|discuss
5 years ago|discuss
6 years ago|discuss
6 years ago|discuss
6 years ago|discuss
6 years ago|discuss
6 years ago|discuss
7 years ago|discuss
7 years ago|discuss