GSoul is a functional, expression-based programming language with novel support for gradual sensitivity typing.
GSoul is distributed via the package manager npm. To install GSoul locally run:
npm i -g @gsoul-lang/cli
To run (and typecheck) a GSoul program, execute the following command:
gsoul <file>
or
gsoul run <file>
To see other available commands run
gsoul --help
TODO: For now, see the paper.
GSoul is mainly a protoype for research and is not intended to be efficient or to be used in production.