Code

Use EmbedIO instead of Embed IO#2645

Code

Merged

paulcadman merged 1 commit intomainanoma/juvix:mainfrom only-embed-ioanoma/juvix:only-embed-ioCopy head branch name to clipboardFeb 13, 2024

+178-174

Commits

Commits on Feb 13, 2024

• use EmbedIO instead of Embed IO

  janmasrovira

  committed
  c2348d0

  Copy full SHA for c2348d0