8 Commits

Author	SHA1	Message	Date
Laurenz	6bafc63910	Document metadata	2022-11-26 23:52:01 +01:00
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	46921a8c28	Separate test crate ... This removes the not-really-cyclic dependency that confuses rust-analyzer. See also: https://github.com/rust-lang/rust-analyzer/issues/2414	2022-11-03 16:13:35 +01:00
Laurenz	37a7afddfa	Split crates	2022-11-03 13:35:39 +01:00