News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by mbrodersen on Saturday October 02, 2021 @10:37PM (#28734079)
Simple doesn’t mean easy. Making things simple can be hard. Understanding simple things can be hard. Easy means “familiar”. Hard means “very far from what I already understand”. The Lambda Calculus is super simple. But super hard to understand in all its ramifications.

There are no comments on this comment yet.