https://github.com/hauntedhost/programming-language-foundations-in-agda

Programming Language Foundations in Agda by Philip Wadler and Wen Kokke
https://github.com/hauntedhost/programming-language-foundations-in-agda

agda haskell proof-assistant

Last synced: 8 months ago
JSON representation

Programming Language Foundations in Agda by Philip Wadler and Wen Kokke

• Host: GitHub
• URL: https://github.com/hauntedhost/programming-language-foundations-in-agda
• Owner: hauntedhost
• Created: 2018-10-08T02:10:00.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-12-04T08:32:48.000Z (over 1 year ago)
• Last Synced: 2024-12-04T09:34:22.139Z (over 1 year ago)
• Topics: agda, haskell, proof-assistant
• Language: Agda
• Size: 257 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## Programming Language Foundations in Agda by Philip Wadler and Wen Kokke

[![emacs screenshot](screenshot.png)](https://plfa.github.io/)

Personal code while reading [Programming Language Foundations in Agda](https://plfa.github.io/).

---

👻 [haunted.host](https://www.haunted.host)