alhassy / next-700-module-systems Star 79 Code Issues Pull requests PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue. language haskell lisp emacs modules records ocaml metaprogramming coq agda phd typeclasses first-class-citizens canonical-structures Updated Oct 24, 2021 HTML
coq-community / lemma-overloading Star 26 Code Issues Pull requests Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov] automation coq typeclasses ssreflect paper-artifacts canonical-structures mathcomp Updated Jan 20, 2022 Coq