jaggederest/locque

Locque, a dependently-typed LLM first programming language

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

话题：ai · dependent-types · llm · m-expression · programming-language · theorem-proving

在 GitHub 上查看原仓库