Who Am I?
Pre-release
Pre-release
Adds a whoami
command that prints information about the currently configured and authenticated user.
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