/dependent-typeclasses

Exploration of dependent versions of various constructions of Kmett (and others)

Primary LanguageCoq

Dependent Typeclass Experiments