Comment by upghost Comment by upghost 4 days ago 0 replies Copy Link View on Hacker News Not the type theory we wanted, but the type theory we needed.