Code

MonadHashCons#38

Code

Merged

kozross merged 9 commits intomainmlabs-haskell/covenant:mainfrom koz/actual-37mlabs-haskell/covenant:koz/actual-37Copy head branch name to clipboardFeb 11, 2025

+233-271

Commits

Commits on Feb 5, 2025

• MonadHashCons sublibrary

  kozross

  committed
  f1a0bc3

  Copy full SHA for f1a0bc3

• Initial refactor to use MonadHashCons

  kozross

  committed
  a3a7433

  Copy full SHA for a3a7433

• Generalize ASG builder functionality even more

  kozross

  committed
  ba5cbbd

  Copy full SHA for ba5cbbd

• Put MonadHashCons in the Covenant tree

  kozross

  committed
  7ebe75a

  Copy full SHA for 7ebe75a

• Add warning note about IO

  kozross

  committed
  8d42654

  Copy full SHA for 8d42654

Commits on Feb 6, 2025

• Merge branch 'main' into koz/actual-37

  kozross

  committed
  cff54d5

  Copy full SHA for cff54d5

Commits on Feb 11, 2025

• Add one more law for MonadHashCons

  kozross

  committed
  aaaea93

  Copy full SHA for aaaea93

• Merge branch 'main' into koz/actual-37

  kozross

  committed
  5a5fd7b

  Copy full SHA for 5a5fd7b

• Fix formatting

  kozross

  committed
  cf20591

  Copy full SHA for cf20591