Repository navigation

Fix Concretification/Unification Issue in `app` - #139

Merged

gnumonik merged 7 commits into

mainfrom

sean/debug-renamer-again

Nov 25, 2025

Merged

Fix Concretification/Unification Issue in `app`#139
gnumonik merged 7 commits into
mainfrom
sean/debug-renamer-again

Commits on Nov 18, 2025
- WIP (largely for backup). New concretification machinery works and is integrated, branch just needs cleanup.
  gnumonik
  committed
  aacc697
Commits on Nov 19, 2025
- backup for arg fix
  gnumonik
  committed
  b5f9631
Commits on Nov 20, 2025
- Merge branch 'main' of github.com:mlabs-haskell/covenant into sean/debug-renamer-again
  gnumonik
  committed
  05651bb
- fix concretification/unifier bug, tests, etc
  gnumonik
  committed
  1cab9f2
Commits on Nov 25, 2025
- formatter
  gnumonik
  committed
  73fbc32
- cpp thing
  gnumonik
  committed
  6a1acdc
- fix redundant import
  gnumonik
  committed
  3cca3d3