9 Commits

Author	SHA1	Message	Date
Laurenz	c7a9bac992	Better debug implementations for numeric types	2022-02-17 12:14:50 +01:00
Laurenz	02f114d072	Remove decorum	2021-11-22 15:50:35 +01:00
Laurenz	0cdf17216f	Abstraction for fr resolving	2021-11-16 18:15:47 +01:00
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