catseye/Cabra

A language whose denoted programs form a dioid under program concatenation [BSD license]

语言：Haskell · GitHub 星标：3 · Fork：1

话题：abstract-algebra · experimental-language · semiring

在 GitHub 上查看原仓库