皮尔斯类型和编程语言中的无类型算术表达式
Untyped arithmetic expressions from Pierce s Types and Programming Languages (2014-06-15, Haskell, 0KB, 下载0次)
哈斯克尔张量,
Tensors in Haskell, (2023-10-21, Haskell, 0KB, 下载0次)
系列或标记一维数组的实验Haskell实现。
Experimental Haskell implementation of series, or labeled one-dimensional arrays. (2023-10-18, Haskell, 0KB, 下载0次)
哈斯克尔的一个经典命题定理证明者,使用王的算法。
A classical propositional theorem prover in Haskell, using Wang s Algorithm. (2019-06-12, Haskell, 12KB, 下载0次)