first-edition
Andrej Bauer
@andrejbauer
e0aa8e9d
·
Remove index errors, close #272
·
Jun 19, 2013
The first public edition of the book.
