This repository has been archived by the owner on Dec 8, 2020. It is now read-only.
Implement Verified.Applicative.List #1
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I'm having some issues proving
VerifiedApplicative List. The many type classes involved leads to an unreadable mess when trying to prove it interactively. Contributions are very welcome!The text was updated successfully, but these errors were encountered: