chameco/bramble

dependently-typed lisp with flexible compiler backends

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

话题：dependent-types · lisp · programming-language · type-theory · unsound

在 GitHub 上查看原仓库