3 ms·Learn about dependent types and then hit an undecidable or incomplete problem lolby whattheheckheck 9mo agoLearn about dependent types and then hit an undecidable or incomplete problem lol