布尔 | 定义类型布尔 用于布尔值(真值)和一些函数。 |
---|
BoolProp公司 | 定义布尔值为真的命题。 |
---|
要么 | 定义不一致和和和一些关联函数的类型。 |
---|
功能 | 基本组合子和函数组成。 |
---|
也许 吧 | 可选值和关联函数的类型。 |
---|
国家 | 表示自然数、加法、乘法和等式的类型。 |
---|
NatProp公司 | 自然数的性质,主要是加法和乘法是结合和交换的。 |
---|
一对 | 一种笛卡尔产品,功能是咖喱和未咖喱。 |
---|
Predikatlogik公司 | 谓词演算的连接词和推理规则。 |
---|
道具 | 定义Prop类型(对于作为类型的命题)真命题和假(荒谬)命题。 |
---|
Satslogik公司 | 命题演算的连接词和推理规则。 |
---|
偶数 | 独立的函数式编程示例。定义类型布尔 ,类型国家 函数的偶数和奇数来自国家 到布尔 .(用于键盘教程.) |
---|
localQuant(本地数量) | 与Haskell相比,依赖类型的强大功能。 |
---|
灾难前 | 中某些命题的示例自然演绎式证明谓词逻辑。 |
---|
satslogikExempel公司 | 中某些命题的示例自然演绎式证明命题演算。 |
---|