Joel Kaasinen cd484a282a Set3b: make the Integral type class (containing e.g. div) available

2021-01-12 17:52:54 +02:00

..

LimitedPrelude.hs

Set3b: make the Integral type class (containing e.g. div) available

2021-01-12 17:52:54 +02:00

Test.hs

some additions to testing utilities in preparation for part2

2020-12-22 18:30:26 +02:00

Th.hs

better error messages from testing macros for unbound vars

2021-01-07 15:42:54 +02:00

Todo.hs

add Set1

2020-05-06 09:07:54 +03:00