- refl
- Agda switcher
- Package manager
A swiss army knife for working with Agda.
Refl is hosted on pypi. To install the latest release of refl:
Global install:
pip install reflInstall for current user only:
pip install refl --userrefl version switchrefl version listrefl pkg install --git --url git@github.com:marcelosousa/smtlib.git --pwdrefl pkg install --git --url git@github.com:marcelosousa/smtlib.git --userrefl pkg install --git --url git@github.com:marcelosousa/smtlib.git --globalrefl pkg install \
--git \
--url git@github.com:marcelosousa/smtlib.git \
--commit_hash c152c6fe59a0546c88e048f1ea50d193b997ef15 \
--pwdrefl pkg install \
--git \
--url git@github.com:gallais/agdarsec.git \
--tag v0.3.0 \
--pwdrefl pkg install \
--git \
--url git@github.com:pcapriotti/agda-base.git \
--head computational-isos \
--pwdrefl pkg uninstall --git --name smtlib --pwdrefl pkg uninstall --git --name smtlib --userrefl pkg uninstall --git --name smtlib --globalrefl pkg uninstall --name smtlib-c152c6fe59a0546c88e048f1ea50d193b997ef15 --pwdrefl pkg uninstall --name agda-categories --pwdrefl pkg uninstall --name aga-cegries --pwd --softrefl pkg listCreates a new project file for tracking dependencies. It is an interactive command.
refl project init
> Name of this project:
> Name of the project's source directory: [default:src]refl project install\
--name smtlib \
--git \
--url git@github.com:marcelosousa/smtlib.git \
--commit_hash c152c6fe59a0546c88e048f1ea50d193b997ef15refl project install\
--local \
--name agda-categories \
--location ~/src/hott/agda-categoriesrefl project update --name smtlib --head masterrefl project update --name agda-categories --location ~/src/hott/agda-categories-newrefl project uninstall --name agda-categories