4 ms·I wish dependent types were more common :(by esafak 9mo agoI wish dependent types were more common :(