7 Commits

Author	SHA1	Message	Date
NT	e6a3e2ae37	PG, HIG discussion	2022-02-05 16:53:49 +01:00
NT	83253b3503	moved RL chapter up, added dividers	2022-02-05 16:53:49 +01:00
NT	3d3022a429	added HIG code intro	2022-02-05 16:53:49 +01:00
NT	dd03765dc4	some HIG PG discussion	2022-02-05 16:53:49 +01:00
NT	c062037746	HIG toy example discussion continued	2022-02-05 16:53:49 +01:00
NT	ff91dee748	HIG toy example discussion started	2022-02-05 16:53:49 +01:00
NT	e7665da0c9	first version of HIGs	2022-02-05 16:53:49 +01:00