aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2023-05-11Add check-book.sh scriptdatdenkikniet
2019-02-16Make identifiers deterministic.Hugo van der Wijst
2019-02-11change layout of booksJorge Aparicio
2019-02-08skeleton for the Russian translation of the bookJorge Aparicio
2018-11-03v0.4.0Jorge Aparicio
2017-12-09drop the Static wrapperJorge Aparicio
2017-07-29update examplesJorge Aparicio
2017-04-28update examplesJorge Aparicio
2017-04-09compile time verified ceilingsJorge Aparicio
2017-03-05initial commitJorge Aparicio