Programming Language Foundations in Agda
Article URL: https://plfa.github.io/
Comments URL: https://news.ycombinator.com/item?id=50144976
Points: 2
# Comments: 1
原文：https://www.a8q9.cn/en/article/programming-language-foundations-in-agda-6a7b0a.html
相关文章
- A field checklist for a leak-free 45 degree flare on copper pipe2026-11-03
- DeepSeek's Super Agent Got 14k Stars. The Code Didn't Change2026-11-03
- I built a terminal-style GitHub profile generator (animated, free, no install)2026-11-03
- Building a GitHub Contribution City: Transforming Developer History into a 3D Sk…2026-11-03
- Style your Git-Hub profile and make it unique.2026-11-03
- WARN Act and Employee Stock Purchase Plans — What Happens to Your ESPP After a L…2026-11-03