Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
Tag: agda
3 items with this tag.
Mar 09, 2025
Partial Equivalence Relations
agda
Feb 19, 2025
Subtype
agda
Feb 14, 2025
Representations of Syntax with Binding
plt
agda