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.

语言：HTML · GitHub 星标：83 · Fork：6

话题：agda · canonical-structures · coq · emacs · first-class-citizens · haskell · language · lisp

在 GitHub 上查看原仓库