8 commits

Author	SHA1	Message	Date
rhiannon morris	80f7039301	header size	2022-07-12 21:19:21 +02:00
rhiannon morris	6e1e83ff7b	beluga syntax	2022-07-12 21:19:03 +02:00
rhiannon morris	c82d5cdb44	maude syntax updates ... - negative rationals - fix string escapes - ±Infinity - strategy modules, decls, etc - some arrows etc i missed	2022-03-16 05:12:23 +01:00
rhiannon morris	bffa11780e	add digitle post	2022-03-15 04:42:38 +01:00
rhiannon morris	ccd9024861	fix header weights	2022-03-15 04:41:58 +01:00
rhiannon morris	e5d888ae01	add maude syntax	2022-03-15 04:40:25 +01:00
rhiannon morris	533efb5a31	some style stuff in lists	2021-07-25 14:49:55 +02:00
rhiannon morris	77a53e06a5	first	2021-07-25 14:49:55 +02:00