Hacker News new | ask | show | jobs
by dredozubov 1085 days ago
Very cool! I enjoy digging into dependent typing applications.