Code

Be able to perform unhandled effects#11

Code

Merged

dinosaure merged 4 commits intomainrobur-coop/miou:mainfrom handle-other-effectsrobur-coop/miou:handle-other-effectsCopy head branch name to clipboardSep 19, 2023

+148-17

Commits

Commits on Sep 11, 2023

• Be able to perform unhandled effects

  dinosaure

  committed
  cbc666f

  Copy full SHA for cbc666f

• Handle effects even if they appear in another domain

  dinosaure

  committed
  7d89258

  Copy full SHA for 7d89258

Commits on Sep 14, 2023

• Add documentation and an example of composition of effect handlers

  dinosaure

  committed
  c7217c3

  Copy full SHA for c7217c3

Commits on Sep 18, 2023

• Apply ocamlformat

  dinosaure

  committed
  403b3ab

  Copy full SHA for 403b3ab