Proofs about containers and their relationships to algebraic structures in agda
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).