Tag: agda

7 items with this tag.

Mar 09, 2025
Partial Equivalence Relations
- agda
Mar 08, 2025
Dependent Pattern matching
Feb 25, 2025
Intrinsically typed term
- agda
- plt
Feb 25, 2025
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
- agda
- plt
Feb 19, 2025
De Bruijn indices
Feb 19, 2025
Subtype
- agda
Feb 19, 2025
Representations of Syntax with Binding
- plt
- agda