6 Commits

Author	SHA1	Message	Date
Alex Hirsch	116e0c5c49	Clarify type checking is also required for arrays	2019-03-01 20:49:37 +01:00
Alex Hirsch	595489d8ab	Minor adjustments and rewording	2019-02-17 22:57:48 +01:00
Alex Hirsch	6e654bdc61	Provide CFG example	2019-01-30 11:27:14 +01:00
Alex Hirsch	6e0e1507de	Minor additions to the spec	2019-01-30 10:47:43 +01:00
Alex Hirsch	8c27436e48	Minor fixes	2019-01-07 15:07:01 +01:00
Alex Hirsch	0045501c5e	Initial commit	2019-01-05 14:57:14 +01:00