4 ms·
At first glance I couldn't figure out if Kind was meant to be a "modern-proof language", or a "modern proof-language".
by michaelcampbell 5y ago
At first glance I couldn't figure out if Kind was meant to be a "modern-proof language", or a "modern proof-language".