6 Commits

Author	SHA1	Message	Date
Laurenz	96f72eee6c	Separate typesetting and compilation	2022-11-24 17:51:07 +01:00
Laurenz	5ae81971f2	Introduce `Library`	2022-11-23 16:07:54 +01:00
Laurenz	b2a3d3f235	More general evaluation interface	2022-11-23 12:00:06 +01:00
Laurenz	eb951c008b	Style changes	2022-11-04 11:38:09 +01:00
Laurenz	33928a00dc	Tidy up library	2022-11-03 16:50:26 +01:00
Laurenz	37a7afddfa	Split crates	2022-11-03 13:35:39 +01:00