Comment by jaggederest
18 hours ago
It's funny because I'm working on a type theory first toy language as we speak... so you're not wrong, but I'm also foolish enough to be ambitious.
18 hours ago
It's funny because I'm working on a type theory first toy language as we speak... so you're not wrong, but I'm also foolish enough to be ambitious.
No comments yet
Contribute on Hacker News ↗