4 commits

Author	SHA1	Message	Date
Sebastian Ullrich	dc3d94ff61	fix: check arity in notation unexpander ... Fixes #469	2021-07-22 16:59:19 +02:00
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