canonical-structures

There are 0 repository under canonical-structures topic.

• alhassy / next-700-module-systems

  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

  agdaphdemacslispocamlcoqmodulestypeclassesrecordscanonical-structuresfirst-class-citizensmetaprogramminglanguagehaskell
  Language:HTML 80

• coq-community / lemma-overloading

  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

  coqcanonical-structurestypeclassesssreflectmathcompautomationpaper-artifacts
  Language:Coq 26