Trealla序言
紧凑，高效的Prolog口译员，。
Integers are 64-bit (optionally 32 or 128-bit)
Integer overflow detection
Rationals are a native type
Reals are double
Atoms are UTF-8 of unlimited length
The default double-quoted representation is *chars* list
Full-term
你好呀 :waving_hand:
我是John，我对PL和Type Systems相关的东西感兴趣。
我最喜欢的一些作品：
Lambdulus是用于交互式学习λ微积分的工具。 它可以在任何现代浏览器中在线运行，并使您能够体验λ微积分作为一种编程语言。
具有Damas-Hindley-Milner类型推断的简单编程语言
let
zero = ( \ n -> (n == 0 ))
dec = ( \ n -> n - 1 )
in let rec
