4 commits

Author	SHA1	Message	Date
rhiannon morris	4cc50c6bcd	highlight errors even if real output is to a file ... (unless told not to)	2023-11-03 18:05:54 +01:00
rhiannon morris	cc0bade747	scheme output	2023-11-03 18:05:54 +01:00
rhiannon morris	1f14e4ab9e	automate more option stuff ... if the elaborator writes it then it will be kept up to date automatically	2023-11-03 18:05:54 +01:00
rhiannon morris	83ab871d61	new main	2023-11-03 18:05:54 +01:00