Specification and implementation of an effect calculus - View it on GitHub