10 commits

Author	SHA1	Message	Date
datdenkikniet	d41d28b60d	Add check-book.sh script	2023-05-11 19:20:58 +02:00
Hugo van der Wijst	be8a5e89b8	Make identifiers deterministic.	2019-02-16 00:23:01 +01:00
Jorge Aparicio	0007a35a27	change layout of books	2019-02-11 21:40:53 +01:00
Jorge Aparicio	45659fdbbc	skeleton for the Russian translation of the book	2019-02-08 19:58:55 +01:00
Jorge Aparicio	c631049efc	v0.4.0 ... closes #32 closes #33	2018-11-03 17:16:55 +01:00
Jorge Aparicio	219e172680	drop the Static wrapper	2017-12-09 17:15:15 +01:00
Jorge Aparicio	2d80f3631b	update examples	2017-07-29 00:46:38 -05:00
Jorge Aparicio	2063697c62	update examples	2017-04-28 09:23:30 -05:00
Jorge Aparicio	595404c5ff	compile time verified ceilings	2017-04-09 22:42:17 -05:00
Jorge Aparicio	aba9333799	initial commit	2017-03-05 00:29:08 -05:00