haskell-road
所属分类：数学计算
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2019-03-04 11:42:58
上 传 者：
sh-1993
说明： 从“Haskell之路到逻辑、数学和编程”的代码
(Code from "The Haskell Road to Logic, Maths and Programming")
文件列表:
COR.hs (2313, 2019-03-04)
DB.hs (14071, 2019-03-04)
FAIS.hs (297, 2019-03-04)
FCT.hs (2772, 2019-03-04)
GS.hs (1825, 2019-03-04)
Hierarchy.hs (230, 2019-03-04)
IAR.hs (6663, 2019-03-04)
Nats.hs (1006, 2019-03-04)
POL.hs (3957, 2019-03-04)
PolAddendum.hs (1199, 2019-03-04)
PolAddendum.pdf (144189, 2019-03-04)
Polynomials.hs (1273, 2019-03-04)
PowerSeries.hs (556, 2019-03-04)
Query.hs (374, 2019-03-04)
REL.hs (4925, 2019-03-04)
STAL.hs (2567, 2019-03-04)
SetEq.hs (1686, 2019-03-04)
SetOrd.hs (2266, 2019-03-04)
TAMO.hs (4156, 2019-03-04)
TUOLP.hs (1360, 2019-03-04)
WWN.hs (3820, 2019-03-04)
# The Haskell Road to Logic, Maths and Programming #
This is the sample code that accompanies the book
*The Haskell Road to Logic, Maths and Programming*
from the book's website
. The repo may include other
little things that I scratched down also. Note, the sample code
doesn't indicate which chapter it goes with, so I intend to add a
table of contents to this README.md, so I know which file goes with
which chapter at a glance.
- [Chapter 1: Getting Started](https://github.com/llcawthorne/haskell-road/blob/master/GS.hs)
- [Chapter 2: Talking about Mathematical Objects](https://github.com/llcawthorne/haskell-road/blob/master/TAMO.hs)
- [Chapter 3: The Use of Logic: Proof](https://github.com/llcawthorne/haskell-road/blob/master/TUOLP.hs)
近期下载者：
相关文件：
收藏者：