5 Commits (a5f2178d870a47c1afcf2db0eabb599b284aaf1b)

Author	SHA1	Message	Date
Lennart Spitzner	5ee0733f96	Add a few more hardcoded fixities	2023-05-28 13:55:20 +00:00
Lennart Spitzner	fe876ea0b0	Hardcode more precedences	2023-05-02 12:37:02 +00:00
Lennart Spitzner	99e5aacb5e	Discard special case for non-nested OpApp	2023-05-02 09:16:04 +00:00
Lennart Spitzner	ebe85a5949	Use dependency-injection for ToBriDoc modules ... I assume this makes inlining impossible, but it enables parallel compilation of all these modules. In my tests this reduce wall clock time to 92%, and with more cores the benefit should be higher.	2023-05-02 09:16:04 +00:00
Lennart Spitzner	676695a609	Implement fixity-aware-ops feature	2023-05-02 09:16:03 +00:00