Structurally-typed strict functional core language - View it on GitHub