The Mercury Project: Comparing Mercury and Haskell
Home News Information Documentation Tutorial Reference Manual  Version 0.13.1  Snapshot User's Guide Version 0.13.1 Snapshot Library Reference Version 0.13.1 Snapshot cf. Prolog Version 0.13.1 Snapshot cf. Haskell FAQ  Version 0.13.1  Snapshot Mailing Lists Back-ends Download Related Contact Search Bug Database Comparing Mercury with Haskell Mercury has a lo
The Haskell Road to Logic, Maths and Programming
Sample from the book (table of contents plus first chapter): compressed postscript Addendum to Chapter 9 of the Book: Direct Computation of Polynomial Representations for Sequences: PolAddendum.pdf PolAddendum.hs Errata A list of errata is here. Software Getting Started: GS.hs Talking about Mathematical Objects: TAMO.hs The Use of Logic: Proof: TUOLP.hs Sets, Types and Lists: STAL.hs Database used
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
