tzemanovic/plfa: src/plfa/part1

PLFA agda exercises

tzemanovic

10. Lists

2 days ago

Connectives.lagda.md

6. Connectives

on February 15, 2026
Decidable.lagda.md

9. Decidable

on February 22, 2026
Equality.lagda.md

4. Equality

on February 12, 2026
Induction.lagda.md

2. induction

on November 30, 2025
Isomorphism.lagda.md

fix notation

on February 15, 2026
Lists.lagda.md

10. Lists

2 days ago
Naturals.lagda.md

1. naturals

on November 27, 2025
Negation.lagda.md

7. Negation

on February 17, 2026
Quantifiers.lagda.md

proof postulates in quantifiers

on February 20, 2026
Relations.lagda.md

8. Quantifiers

on February 19, 2026