6 Commits

Author	SHA1	Message	Date
Laurenz	7f48e8fe66	Make user-facing "debug" representation use Debug instead of Display	2021-08-31 16:25:12 +02:00
Laurenz	ee84bf7408	Add abs() function	2021-08-30 16:59:09 +02:00
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 frs	2021-06-09 22:44:40 +02:00