Comment by scrubs Comment by scrubs 11 hours ago 0 replies Copy Link View on Hacker News Well written! I learned stuff. Dependent types was new on me. Cheers.