def main : IO Unit

Equations

• main = do let _ ← forIn [Esolangs.Cornucopia.ProgId.prog.show, Esolangs.Cornucopia.ProgLoop.prog.show, Esolangs.Cornucopia.ProgLoopSucc₁.prog.show, Esolangs.Cornucopia.ProgLoopSucc₂.prog.show, Esolangs.Cornucopia.OneAlt₁.prog.show, Esolangs.Cornucopia.Prog₁.prog.show] 0 fun (prog : String) (__s : ℕ) => let i := __s; have __do_jp := fun (__r : Unit) => do IO.println prog have i : ℕ := i + 1 pure (ForInStep.yield i); if i ≠ 0 then do let __r ← IO.println "" __do_jp __r else __do_jp () pure ()