Code

WIP: allow certain recursive axioms#3507

Code

Draft

ana-pantilie wants to merge 2 commits intomasterruntimeverification/haskell-backend:masterfrom fix-eq-applruntimeverification/haskell-backend:fix-eq-applCopy head branch name to clipboard

+15-12

Commits

Commits on Feb 17, 2023

• WIP: allow certain recursive axioms

  ana-pantilie

  committed
  f3ac20d

  Copy full SHA for f3ac20d

• Format with fourmolu

  

  github-actions

  committed
  78e4716

  Copy full SHA for 78e4716