Repository navigation

WIP: fix warnings - #688

Open

yaitskov wants to merge 20 commits into

Copilot-Language:masterfrom

Open

WIP: fix warnings#688
yaitskov wants to merge 20 commits into
Copilot-Language:masterfrom
yaitskov:warn

Commits on Nov 15, 2025
- warn fix warnings in core
  yaitskov
  committed
  21333a5
Commits on Nov 16, 2025
- warn downgrade language to Haskell2010
  yaitskov
  committed
  269b649
- warn fix warnings in prettyprinter
  yaitskov
  committed
  268b6eb
- warn fix interpreter warnings
  yaitskov
  committed
  d952fed
- warn fix theorem warnings
  yaitskov
  committed
  303ca49
- warn remove common and lambdacase from core cabal
  yaitskov
  committed
  71fcfa8
- warn revert cabals and fix rest of warnings
  yaitskov
  committed
  d7f0179
Commits on Nov 17, 2025
- warn remove Werror
  yaitskov
  committed
  895828e
- warn import Semigroup till 4.13
  yaitskov
  committed
  fc5db37
Commits on Nov 18, 2025
- warn mitigate prime shift in core
  yaitskov
  committed
  8a8a0b1
- warn stylish core Type.hs
  yaitskov
  committed
  4c1e5b5
- warn wrap long line
  yaitskov
  committed
  0308c1d
- warn prime align c99
  yaitskov
  committed
  664260a
- warn review issues of interpreter
  yaitskov
  committed
  a52c577
- warn language - align and fail/error
  yaitskov
  committed
  89863b9
- warn revert paretheses in libraries
  yaitskov
  committed
  e1d0d55
- warn prettyprinter review issues
  yaitskov
  committed
  496382d
- warn theorem review issues
  yaitskov
  committed
  898b27a
- warn revert no orphan flag in just copilot
  yaitskov
  committed
  ec6960a
- warn missed theorem
  yaitskov
  committed
  e2e92e5