2 ms·
Distributed lambda calculus would be fun to implement. Differential distance-based reduction cost to start with?
by snaky 9y ago
Distributed lambda calculus would be fun to implement. Differential distance-based reduction cost to start with?
loading thread…