https://github.com/slemus9/plfa

Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek
https://github.com/slemus9/plfa

agda functional-programming plfa programming-languages

Last synced: 2 days ago
JSON representation

Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek

• Host: GitHub
• URL: https://github.com/slemus9/plfa
• Owner: slemus9
• Created: 2022-05-24T04:49:01.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-09-04T23:46:48.000Z (about 2 years ago)
• Last Synced: 2023-03-10T01:08:05.879Z (over 1 year ago)
• Topics: agda, functional-programming, plfa, programming-languages
• Language: Agda
• Homepage:
• Size: 105 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

        
# Programming Language Foundations in Agda

Notes and solutions on the book: [Programming Language Foundations in Agda](https://plfa.github.io/)