This website requires JavaScript.
Explore
Help
Register
Sign In
zkdream.net
/
symmetries
Watch
1
Star
0
Fork
You've already forked symmetries
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
master
symmetries
/
Cubical
/
Structures
History
zk⁷
0d85fceb1f
push
2024-03-11 20:20:28 +02:00
..
Gpd
push
2024-03-11 20:20:28 +02:00
Set
push
2024-03-11 20:20:28 +02:00
Arity.agda
push
2024-03-11 20:20:28 +02:00
Coh.agda
push
2024-03-11 20:20:28 +02:00
Eq.agda
push
2024-03-11 20:20:28 +02:00
Free.agda
push
2024-03-11 20:20:28 +02:00
Sig.agda
push
2024-03-11 20:20:28 +02:00
Str.agda
push
2024-03-11 20:20:28 +02:00
Tree.agda
push
2024-03-11 20:20:28 +02:00