Code

0.7.0.2#10

Code

Merged

konn merged 2 commits intomasterkonn/equational-reasoning-in-haskell:masterfrom konn/0.7.0.2konn/equational-reasoning-in-haskell:konn/0.7.0.2Copy head branch name to clipboardDec 26, 2023

+12,339-9

Commits

Commits on Dec 26, 2023

• Version bumped

  konn

  committed
  298822a

• fix: expand imports and remove equational-reasoning from constraints

  konn

  committed
  88de6db