Programming-language-Semantics

An Implementation of Modular Monadic Semantics using Folds and Monadic Folds