coalton-lang contributors. coalton (Version 0.0.1) [Computer software]. https://github.com/coalton-lang/coalton