181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
Agda vs. Coq vs. Idris | Meta-cedille bloghttps://whatisrt.github.io/dependent-types/2020/02/18/agda-vs-coq-vs-idris.html