Tech

Programming Language Foundations in Agda

Hacker News (Newest) By solomonb Oct 18, 2026 · 3:11 PM 3 views 0 comments

Article URL: https://plfa.github.io/

Comments URL: https://news.ycombinator.com/item?id=50144976

Points: 2

# Comments: 1

Hacker News (Newest) Original story · plfa.github.io

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!