LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Haskell

quickspec

Equational laws for free

HaskellEmerging

Stars

—

Forks

—

Contributors

8

Last push

40mo ago

Recent commits

Latest commits.

Merge branch 'master' into master
a8ecbb0Nick Smallbone40mo ago
Handle holes in inconsistent law testing.
2bff681Nick Smallbone40mo ago
Experimental: detect false laws by QuickChecking the pruner's deductions.
fdc6a6cNick Smallbone40mo ago
Merge.
d104082Nick Smallbone40mo ago
Use size 0 for 1% of tests.
457d9b6Nick Smallbone40mo ago

Support GHC 9.4

cbda185Martin Beták41mo ago

Merge pull request #74 from zoranbosnjak/nixfix

134864aNick Smallbone44mo ago

twee-lib version fix

89bcd23Zoran Bošnjak45mo ago

Top contributors

Builders behind this project.

MaximilianAlgehed