4 ms·Well written! I learned stuff. Dependent types was new on me. Cheers.by scrubs 11mo agoWell written! I learned stuff. Dependent types was new on me. Cheers.