Code

Fix warnings#143

Code

Open

msakai wants to merge 4 commits intomastermsakai/toysolver:masterfrom fix-warningsmsakai/toysolver:fix-warningsCopy head branch name to clipboard

+63-52

Commits

Commits on Dec 28, 2024

• remove unused import of Data.Hashable

  msakai

  committed
  45dc726

  Copy full SHA for 45dc726

• stop using deprecated Turtle.fromText

  msakai

  committed
  67f2ee6

  Copy full SHA for 67f2ee6

• fix warnings in test/Test/Converter.hs

  msakai

  committed
  d5a8639

  Copy full SHA for d5a8639

• fix warnings in test/Test/SAT.hs

  msakai

  committed
  44b2ae9

  Copy full SHA for 44b2ae9