Automatic testing of Haskell programs.
Updated 2024-09-23 10:06:51 +03:00
Equational laws for free
Updated 2023-12-14 12:48:07 +03:00