Repository navigation
Releases: Volland/little-elpier
Release list
The Little Elpier v1.0.1
The Little Elpier: Higher-Order Logic, Types and λProlog, One Question at a Time
by Volodymyr Pavlyshyn.
| Download | |
|---|---|
| little-elpier.pdf | colour PDF with links, 159 pages |
| little-elpier.epub | EPUB for e-readers |
The book is open access under CC BY 4.0:
these files are free to read, share and print, with credit to the author.
If it helps you, please buy a copy on Leanpub or
Amazon: it pays for the work, and for the next book.
Archived on Zenodo,
DOI 10.5281/zenodo.23864702.
Site: https://volland.github.io/little-elpier/
The source code at this tag is every program in the book, each checked against
its printed output. Run it with pip install -e . and elpier; see the README.
The Little Elpier v1.0
The Little Elpier: Higher-Order Logic, Types and λProlog, One Question at a Time
by Volodymyr Pavlyshyn.
| Download | |
|---|---|
| little-elpier.pdf | colour PDF with links, 159 pages |
| little-elpier.epub | EPUB for e-readers |
The book is open access under CC BY 4.0:
these files are free to read, share and print, with credit to the author.
If it helps you, please buy a copy on Leanpub or
Amazon: it pays for the work, and for the next book.
Archived on Zenodo,
DOI 10.5281/zenodo.23864702.
Site: https://volland.github.io/little-elpier/
The source code at this tag is every program in the book, each checked against
its printed output. Run it with pip install -e . and elpier; see the README.