3 ms·

I am on a similar path, I am super fascinated with type theory and I want to test / implement stuff.