3 commits

Author	SHA1	Message	Date
Sebastian Ullrich	8637220927	fix: make precedence mandatory for mixfix commands ... Resolves #577	2021-07-19 13:18:58 -07:00
Sebastian Ullrich	3f4ab0a2af	feat: implement elab_rules ... TODO: infer category from quotation type	2021-06-21 10:17:26 -07:00
Sebastian Ullrich	7c3101a51c	chore: produce more efficient/pp-able array code from quotations	2021-05-19 09:52:35 +02:00