/plfa

plfa exercises

Primary LanguageAgda

TODO:

  1. Part 1, Inudction, Bin-laws
  2. Part 1, Relations, Bin-predicates