exists-forall/elm-constructive

A variant of the Elm architecture, where actions directly construct new models

Elm