wenkokke/NLQ

A framework for natural language syntax and semantics based on type theory.

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

话题：categorial-grammar · natural-language · thesis · type-system

在 GitHub 上查看原仓库