Code

Add hlint action.#12

Code

Open

philderbeast wants to merge 4 commits intoyav:masteryav/simple-smt:masterfrom typechecker:hlinttypechecker/simple-smt:hlintCopy head branch name to clipboard

+34-8

Commits

Commits on Jun 20, 2022

• Add hlint gh-action.

  philderbeast

  committed
  fa5fdd3

  Copy full SHA for fa5fdd3

• Follow hlint suggestion, redundant $.

  philderbeast

  committed
  2555db9

  Copy full SHA for 2555db9

• Follow hlint suggestion, use section.

  philderbeast

  committed
  ed055ab

  Copy full SHA for ed055ab

• Follow hlint suggestion, eta reduce.

  philderbeast

  committed
  a7c42f8

  Copy full SHA for a7c42f8