3 ms·Very cool! I enjoy digging into dependent typing applications.by dredozubov 3y agoVery cool! I enjoy digging into dependent typing applications.