replikativ/katzen

Generalized algebraic theories and categorical programming for Clojure.

语言：Clojure · GitHub 星标：23 · Fork：0

话题：algebraic-data-types · category-theory · clojure · verification

在 GitHub 上查看原仓库