categorical-semantics topic
List
categorical-semantics repositories
cat
17
Stars
2
Forks
Watchers
A categorical semantics library in Agda.
