4 ms·
"The Little Schemer" series ("Reasoned Schemer" was actually my first, but the whole series seems great. Must order the dependent types volume...)
by dasmoth 8y ago
"The Little Schemer" series ("Reasoned Schemer" was actually my first, but the whole series seems great. Must order the dependent types volume...)