3 ms·
i thought the little typer does also a great job in getting you into thinking about type theory.
by aastronaut 5y ago
i thought the little typer does also a great job in getting you into thinking about type theory.
- alfiedotwtf 5y agoThe Reasoned Schemer does an excellent job in getting you to understand Logic Programming