4 ms·
That's what type theory is for. There have been some very interesting developments in the last 40 years that you might want to check out.
by kachnuv_ocasek 9y ago
That's what type theory is for. There have been some very interesting developments in the last 40 years that you might want to check out.