doubly-generic

Arity-generic datatype-generic, or doubly-generic, programming in Coq. (by jeanpehk)

Posts

Posts where doubly-generic has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.
  • A small library for arity-generic datatype-generic programming in Coq
    reddit.com/r/Coq | 2021-04-13

Stats

Basic doubly-generic repo stats
1
4
6.8
3 months ago

jeanpehk/doubly-generic is an open source project licensed under MIT License which is an OSI approved license.