aboutsummaryrefslogtreecommitdiff
path: root/Data/Opaque/List.agda
AgeCommit message (Collapse)Author
2025-11-13Add adjunction between free monoid and forgetJacques Comeaux
2025-11-09Use functional vector in edge definitionJacques Comeaux