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
相关文章
- Here's Why You Shouldn't Use AI to Vote2026-11-03
- Beyond screens: Mercedes-Benz's new holographic heads-up display2026-11-03
- OpenAI is quietly renaming data centers ‘compute campuses’2026-11-03
- The Elder Scrolls VI officially has a name: Sentinel2026-11-03
- GTA VI’s download will need up to 212GB of hard drive space2026-11-03
- The TechCrunch Founder Summit agenda is only half the reason to be in Boston on …2026-11-03