jarredbarber/Cat.jl

Julia package for building composable DSLs with multiple interpretations.

语言：Julia · GitHub 星标：7 · Fork：0

话题：cartesian-closed-category · category-theory · compiler · composable-arrows · composable-dsls · dsl · functors · interpretations

在 GitHub 上查看原仓库