Project

Modular handling of effects in purely functional programs and models