Arity-generic datatype-generic, or doubly-generic, programming in Coq.
Primary LanguageCoqMIT LicenseMIT