Skip to content

Contribute

Pre-release
Pre-release
Compare
Choose a tag to compare
@mattpolzin mattpolzin released this 01 Oct 19:24
· 378 commits to main since this release
0.3.0
c10d5d2
  • Adds a contribute command that suggests a PR you could review to contribute to the org.
  • Adds information on reviews you have given to the output of the reflect command.

Install via npm with npm install --global @mattpolzin/harmony or by downloading the attached harmony-npm.tar.gz file, extracting, and then running npm install -g from the unzipped folder to install globally on your system.

You can build the source with Idris 2 v0.5.1

Assets 3
Loading