hyperpolymath/tangle

Tangle — topological programming language

语言：OCaml · GitHub 星标：2 · Fork：0

话题：choreographic-interaction · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · hyperpolymath · knot-theory · language-design · ocaml

在 GitHub 上查看原仓库