Lancern's Treasure Chest
The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time https://thelittletyper.com/
发现还有两本关联书籍:

The Little Prover:
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
https://mitpress.mit.edu/9780262527958/the-little-prover/

The Reasoned Schemer:
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/ The Little Prover
 
 
Back to Top