gdst-hs：具备简易 REPL 功能的 godel 系统 T 解释器

哥德尔系统T解释器 该项目是编程语言的基本解释器。 目前只支持单行的执行。 解释器是用 Haskell 编程语言编写的。 有关哥德尔系统 T 语义的技术理解，请阅读第 9 章。 有关更基本的教程，请转到示例文件夹并阅读那里的教程。 编译 这些说明适用于 linux 和 OS X 操作系统。 转到查找有关在 Windows 上编译 haskell 程序的说明。 编译需要安装 。 要编译，请使用命令ghc --make Main.hs 。 如果 GHC 抱怨 Control.Monad.Error 的歧义，则使用命令ghc --make -hide-package monads-fd Main.hs 。 哥德尔系统T解释器简介 哥德尔系统 T 真的只能用于进行算术运算。 然而，原始递归的表达能力允许大多数算术运算在这种语言中是可编码的。 句法 Godel 的 System T 只有两种类