17 commits

Author	SHA1	Message	Date
Graham Nelson	9ff95ee1dc	Beginning to make kind-checking optional in Inter	2022-02-14 23:45:34 +00:00
Graham Nelson	b3d2a9c149	Simplified and completed binary Inter file format	2022-02-13 23:44:50 +00:00
Graham Nelson	1a5116a51f	Began work on instructions and textual Inter	2022-02-07 23:30:40 +00:00
Graham Nelson	ba1f69da63	Completed main tree code in bytecode	2022-02-06 22:33:07 +00:00
Graham Nelson	0d5917a16c	Removed concept of symbol scope	2022-02-04 10:04:41 +00:00
Graham Nelson	59a873d14b	Removed external scope for symbols	2022-02-04 00:55:12 +00:00
Graham Nelson	8670fd4a79	Last commit with freestanding inter symbols?	2022-02-03 19:44:57 +00:00
Graham Nelson	1c3d9c537d	Clarified symbols tables	2022-02-03 15:51:44 +00:00
Graham Nelson	f72e8a6ecc	Started in on packages	2022-01-30 23:49:12 +00:00
Graham Nelson	bde5e01880	Tidied up warehouse	2022-01-30 13:32:38 +00:00
Graham Nelson	ba1fba190f	Further work on nodes	2022-01-29 00:21:23 +00:00
Graham Nelson	4ff69d1edd	Refactored wiring of symbols	2022-01-03 23:40:23 +00:00
Graham Nelson	755d2bd6f5	Completed second implementation of synoptic module	2021-05-05 12:24:08 +01:00
Graham Nelson	aab471d0ab	Began work on Emit	2021-04-14 22:57:48 +01:00
Graham Nelson	aa54188874	Enter the Lcon	2020-07-01 00:58:55 +01:00
Graham Nelson	b87ace2f32	Reworked syntax module	2020-05-11 15:21:29 +01:00
Graham Nelson	1268a0f40e	Colonised	2020-04-14 17:56:54 +01:00

Renamed from inter/inter-module/Chapter 3/Verifying Inter.w (Browse further)