aspiwack/sheaf-lang-demo

An experiment to see what interpretation into (pre)sheaves categories look like

语言：Haskell · GitHub 星标：29 · Fork：0

在 GitHub 上查看原仓库