6 Commits

Author	SHA1	Message	Date
rhiannon morris	8b8129027d	update syntax.ebnf	2023-12-04 23:35:54 +01:00
rhiannon morris	932469a91e	make quantities optional and default to 1	2023-07-18 23:12:04 +02:00
rhiannon morris	42aa07c9c8	crude but effective stratification	2023-05-21 20:34:05 +02:00
rhiannon morris	d631b86be3	make p,q in coe/comp optional and default to @0 @1	2023-05-15 20:06:40 +02:00
rhiannon morris	b74ffa0077	rewrite parser ... previously it backtracked too much, so instead of giving a useful parse error, it just said "expected end of input" at the beginning of the problem toplevel. which, if it's a namespace, could be way off.	2023-04-24 22:25:04 +02:00
rhiannon morris	6c3b82ca64	ebnf syntax	2023-04-23 17:33:50 +02:00