15 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	e4a2503899	The Great Renaming: Pointer -> Embedded	2021-05-17 14:54:06 +02:00
Tony Garnock-Jones	55fab35073	Schema Bundles	2021-04-01 20:31:08 +02:00
Tony Garnock-Jones	121bcc7a53	Refactor schema schema	2021-03-23 19:40:06 +01:00
Tony Garnock-Jones	c2fe82e71d	Comment	2021-03-19 23:32:47 +01:00
Tony Garnock-Jones	0970898065	Prepare for removing base environment: special support for any	2021-03-19 20:54:05 +01:00
Tony Garnock-Jones	d372977023	Add Capture support; repair (redo) converter accordingly	2021-03-18 22:33:37 +01:00
Tony Garnock-Jones	5d2ee85b36	More general variant	2021-03-17 20:23:55 +01:00
Tony Garnock-Jones	3463cd4a65	Further schema schema fixes	2021-03-17 20:01:26 +01:00
Tony Garnock-Jones	5f71239130	Further refine schema schema	2021-03-17 19:17:19 +01:00
Tony Garnock-Jones	376e83acd0	Allow naming of `and` branches	2021-03-17 16:25:29 +01:00
Tony Garnock-Jones	98346c61d5	More preparation for alternate compilation approach	2021-03-17 14:36:44 +01:00
Tony Garnock-Jones	b9019d03f1	Tighten schema definition to permit simpler codegen	2021-03-17 12:20:50 +01:00
Tony Garnock-Jones	adfb1822ac	Simpler schema-schema	2021-03-14 22:59:53 +01:00
Tony Garnock-Jones	8d7e7c6d95	Pointers; improved diagnostics	2021-03-11 17:59:40 +01:00
Tony Garnock-Jones	d932431d83	Improve compiler driver	2021-03-11 10:56:49 +01:00

Renamed from schema/schema.txt (Browse further)