使用哈斯克尔代数数据类型实现自然数、整数和有理数系统的简单方法
A SIMPLE IMPLEMENTATION OF NATURAL, INTEGER AND RATIONAL NUMBER SYSTEMS USING HASKELL ALGEBRAIC DATATYPES (2024-02-13, Haskell, 0KB, 下载0次)
哈斯克霍尔定理证明器的核心逻辑系统。有关详细信息,请参阅haskhol.org。,
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details., (2016-09-27, Haskell, 0KB, 下载0次)
Kees Doets和Jan van Eijck(2004)的《逻辑、数学和编程的哈斯克尔之路》(the Haskell Road to Logic,Math and Programming)一书的解决方案
Solution to the Book The Haskell Road to Logic, Math and Programming, by Kees Doets and Jan van Eijck (2004) (2017-12-07, Haskell, 0KB, 下载0次)
作品来源于Doets和van Eijck的《逻辑、数学和编程的哈斯克尔之路》中的练习
Works from Exercises in Doets and van Eijck s The Haskell Road to Logic, Maths and Programming (2011-01-14, Haskell, 0KB, 下载0次)
阅读《逻辑、数学和编程的哈斯克尔之路》
Work alongside reading "The Haskell Road to Logic, Maths and Programming" (2015-08-15, Haskell, 0KB, 下载0次)
“逻辑、数学和编程的哈斯克尔之路”演练
Walkthrough of "The Haskell Road To Logic, Maths and Programming" (2012-01-28, Haskell, 0KB, 下载0次)
阅读Kees Doets和Jan van Eijck的《逻辑、数学和编程的哈斯克尔之路》时我正在做的练习。...
Exercises i m doing while reading "The Haskell Road to Logic, Maths and Programming" by Kees Doets and Jan van Eijck. Includes book code and other resources for students. (2009-12-14, Haskell, 0KB, 下载0次)
试图解决一些项目欧拉难题,试图提高哈斯克尔的理解。
Trying to solve some project Euler puzzles in an attempt to improve Haskell understanding. (2014-05-30, Haskell, 34KB, 下载0次)