Comment by dredozubov

Very cool! I enjoy digging into dependent typing applications.