free monoids & free commutative monoids

zk⁷ 0d85fceb1f push		2024-03-11 20:20:28 +02:00
Cubical/Structures	push	2024-03-11 20:20:28 +02:00
Experiments	push	2024-03-11 20:20:28 +02:00
.agda-lib	push	2024-03-11 20:20:28 +02:00
Everything.agda	push	2024-03-11 20:20:28 +02:00
index.agda	push	2024-03-11 20:20:28 +02:00