Code

Effectful Output#2625

Code

Merged

janmasrovira merged 5 commits intomainanoma/juvix:mainfrom effectful-outputanoma/juvix:effectful-outputCopy head branch name to clipboardFeb 12, 2024

+91-21

Commits

Commits on Feb 12, 2024

• add Output effect and Effectful Prelude

  janmasrovira

  committed
  bd94602

  Copy full SHA for bd94602

• add Accum and dynamic dispatch Output

  janmasrovira

  committed
  d48db78

  Copy full SHA for d48db78

• supress warning

  janmasrovira

  committed
  a442f09

  Copy full SHA for a442f09

• ormolu

  janmasrovira

  committed
  08e38a7

  Copy full SHA for 08e38a7

• remove example

  janmasrovira

  committed
  c5bcdb7

  Copy full SHA for c5bcdb7