containers

★ 3 updated 15y ago

Proofs about containers and their relationships to algebraic structures in agda

No plain-English explanation yet — one is being written right now. Check back in a minute.