jackmitchelwidman/kan

Kan — an experimental language whose one primitive is the universal completion of a partial diagram (README-driven, category-theoretic core).

语言：OCaml · GitHub 星标：11 · Fork：1

在 GitHub 上查看原仓库