哥德尔系统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只有两种类