4 Commits

Author	SHA1	Message	Date
Laurenz	0806af4aec	Kerned PDF output	2021-08-23 13:21:44 +02:00
Laurenz	0dd4ae0a7a	Prune derives	2021-08-21 17:30:21 +02:00
Laurenz	4c37ebb936	Give up on not implementing Eq and Ord	2021-06-12 18:24:31 +02:00
Martin Haug	73fa2eda2c	Introduce `fr`s	2021-06-09 22:44:40 +02:00