A definition and reference implementation for MRA in PureScript. - View it on GitHub