Repo

kan

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

Built withOCaml

Comments · 0

No comments yet. Tried it? Tell Jack what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.