1 result found Sort:

alhassy
next-700-module-systems alhassy
6
81
gpl-3.0
9
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
coq phd agda lisp emacs ocaml haskell modules records language typeclasses metaprogramming canonical-structures first-class-citizens
Created 2019-04-25
293 commits to master branch, last one 3 years ago