Code

Make '>>' lazy#1812

Code

Merged

lukaszcz merged 5 commits intomainanoma/juvix:mainfrom lazy-ioanoma/juvix:lazy-ioCopy head branch name to clipboardFeb 9, 2023

+70-48

Commits

Commits on Feb 9, 2023

• Make '>>' lazy

  lukaszcz

  committed
  83d5343

  Copy full SHA for 83d5343

• fix smoke test

  lukaszcz

  committed
  c9ed9f0

  Copy full SHA for c9ed9f0

• fix error message

  lukaszcz

  committed
  df461ac

  Copy full SHA for df461ac

• fix locally defined indentifiers

  lukaszcz

  committed
  c902131

  Copy full SHA for c902131

• style changes

  lukaszcz

  committed
  7eb857b

  Copy full SHA for 7eb857b