You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
usage: Inigo <command> <...args>
archive <pkg_file> <out_file>: Archive a given package
build <code-gen=node>: Build program under given code gen
build-deps: Build all deps
clean <deps?>: Clean package artifacts, optionally including deps
check: Typecheck the project
exec <code-gen=node> -- ...args: Execute program with given args
extract <archive_file> <out_path>: Extract a given archive to directory
fetch-deps <server>: Fetch and build all deps (opts: --no-build, --dev)
init <namespace> <package> <template.inigo>: Initialize a new project with given namespace and package name
login <server>: Login to an account
pull <server> <package_ns> <package_name> <version?>: Pull a package from remote
push <server> <pkg_file>: Push a package to remote
register <server>: Register an account namespace
repl: Launch idris2 repl
test: Run tests via IdrTest
The text was updated successfully, but these errors were encountered:
When I added templates I forgot to update the README. There are 2 example templates in the templates subdirectory. I think I added some docs on templates but they aren't hosted anywhere so you'll have to build them yourself.
When I try to initialize a project (using the exact commands as in README)
I get this:
The text was updated successfully, but these errors were encountered: