3 ms·Well done! I am inspired. Dependent types are the future, and so are you :-).by steshaw 7y agoWell done! I am inspired. Dependent types are the future, and so are you :-).