fdilke/bewl

A DSL for the internal language of a topos

语言：Scala · GitHub 星标：69 · Fork：3

话题：algebraic-structures · category-theory · dsl · math · topos-theory

在 GitHub 上查看原仓库