Code

logic hierarchy#421

Code

Draft

echatav wants to merge 9 commits intomainzkFold/zkfold-base:mainfrom eitan-logic-hierarchyzkFold/zkfold-base:eitan-logic-hierarchyCopy head branch name to clipboard

+238

Commits

Commits on Dec 24, 2024

• logic hierarchy

  echatav

  committed
  340ba59

  Copy full SHA for 340ba59

• stylish-haskell auto-commit

  

  echatav

  authored and

  actions-user

  committed
  0a884fd

  Copy full SHA for 0a884fd

• Update Logical.hs

  echatav

  committed
  acc0d5f

  Copy full SHA for acc0d5f

• split it

  echatav

  committed
  83f8d23

  Copy full SHA for 83f8d23

• stylish-haskell auto-commit

  

  echatav

  authored and

  actions-user

  committed
  a04e9a0

  Copy full SHA for a04e9a0

• Merge branch 'main' into eitan-logic-hierarchy

  echatav

  authored
  5fa59a5

  Copy full SHA for 5fa59a5

• Update Eq.hs

  echatav

  committed
  6e4576c

  Copy full SHA for 6e4576c

• Merge branch 'eitan-logic-hierarchy' of https://github.com/zkFold/zkfold-base into eitan-logic-hierarchy

  echatav

  committed
  e069604

  Copy full SHA for e069604

• Update Eq.hs

  echatav

  committed
  a644bf5

  Copy full SHA for a644bf5