5 ms·
> Programming as theory-building Sounds similar to https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence https://en.m.wikipedia.org/wiki/Curry–Howard_cor
by nradclif 2y ago
> Programming as theory-building
Sounds similar to https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence.