logoalt Hacker News

swagmoney160607/31/20250 repliesview on HN

You may like Agda. I prefer Lean even though you are right about this.