https://github.com/akiomik/plfa-solutions

Solutions for PLFA (Programming Language Foundations in Agda) exercise
https://github.com/akiomik/plfa-solutions

agda plfa

Last synced: 3 months ago
JSON representation

Solutions for PLFA (Programming Language Foundations in Agda) exercise

• Host: GitHub
• URL: https://github.com/akiomik/plfa-solutions
• Owner: akiomik
• License: apache-2.0
• Created: 2020-04-23T15:29:46.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-11-09T01:46:04.000Z (over 3 years ago)
• Last Synced: 2025-02-07T16:48:33.927Z (4 months ago)
• Topics: agda, plfa
• Language: Agda
• Homepage:
• Size: 122 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# plfa-solutions

Solutions for [PLFA (Programming Language Foundations in Agda)](https://plfa.github.io/)

## Part 1

- [Naturals](https://github.com/akiomik/plfa-solutions/tree/master/part1/naturals)

- [Induction](https://github.com/akiomik/plfa-solutions/tree/master/part1/induction)

- [Relations](https://github.com/akiomik/plfa-solutions/tree/master/part1/relations)

- [Equality](https://github.com/akiomik/plfa-solutions/tree/master/part1/equality)

- [Isomorphism](https://github.com/akiomik/plfa-solutions/tree/master/part1/isomorphism)

- [Connectives](https://github.com/akiomik/plfa-solutions/tree/master/part1/connectives)

- [Negation](https://github.com/akiomik/plfa-solutions/tree/master/part1/negation)

- [Quantifiers](https://github.com/akiomik/plfa-solutions/tree/master/part1/quantifiers)

- [Decidable](https://github.com/akiomik/plfa-solutions/tree/master/part1/decidable)

- [Lists](https://github.com/akiomik/plfa-solutions/tree/master/part1/lists)