go>> plfa-exercises>> 返回
项目作者： iagoleal

项目描述 ：
Answers to the exercises on the book Programming Language Foundations in Agda
高级语言： Agda
项目地址: git://github.com/iagoleal/plfa-exercises.git
创建时间： 2021-03-28T20:44:52Z
项目社区：https://github.com/iagoleal/plfa-exercises
开源协议：
下载


PLFA exercises

My answers to the exercises in the book Programming Language Foundations in Agda.

A “(partial)” mark means that I’ve completed all the exercises but one or two on that chapter.

part1

  1. Naturals
  2. Induction
  3. Relations (partial)
  4. Equality
  5. Isomorphism
  6. Connectives
  7. Negation (partial)
  8. Quantifiers (partial)
  9. Decidable
  10. Lists