Table of Contents

• refl
  • Install
• Agda switcher
  • Install a new version of Agda
  • List available versions of Agda
• Package manager
  • Install package
    • Location
      • In present working directory
      • For current user
      • Globally
    • Options
      • From git with specific commit hash
      • From git with specific tag
      • From git with specific commit head or branch
  • Uninstall Package
    • Location
      • From current directory
      • From current user's packages
      • Globally
    • Options
      • Uninstall packages specifically
      • Uninstall packages by package name
      • Uninstall packages by approx matches
  • List Installed Packages
  • Project operations
    • Initialize a new project
    • Install a package
      • From git
      • From a local location
    • Update a package
      • Pull a new version from github
      • Pull a new version from local
    • Uninstall a package

refl

A swiss army knife for working with Agda.

Install

Refl is hosted on pypi. To install the latest release of refl:

Global install:

pip install refl

Install for current user only:

pip install refl --user

Agda switcher

Install a new version of Agda

refl version switch

List available versions of Agda

refl version list

Package manager

Install package

Location

In present working directory

refl pkg install --git --url git@github.com:marcelosousa/smtlib.git --pwd

For current user

refl pkg install --git --url git@github.com:marcelosousa/smtlib.git --user

Globally

refl pkg install --git --url git@github.com:marcelosousa/smtlib.git --global

Options

From git with specific commit hash

refl pkg install \
  --git \
  --url git@github.com:marcelosousa/smtlib.git \
  --commit_hash c152c6fe59a0546c88e048f1ea50d193b997ef15 \
  --pwd

From git with specific tag

refl pkg install \
  --git \
  --url git@github.com:gallais/agdarsec.git \
  --tag v0.3.0 \
  --pwd

From git with specific commit head or branch

refl pkg install \
  --git \
  --url git@github.com:pcapriotti/agda-base.git \
  --head computational-isos \
  --pwd

Uninstall Package

Location

From current directory

refl pkg uninstall --git --name smtlib --pwd

From current user's packages

refl pkg uninstall --git --name smtlib --user

Globally

refl pkg uninstall --git --name smtlib --global

Options

Uninstall packages specifically

refl pkg uninstall --name smtlib-c152c6fe59a0546c88e048f1ea50d193b997ef15 --pwd

Uninstall packages by package name

refl pkg uninstall --name agda-categories --pwd

Uninstall packages by approx matches

refl pkg uninstall --name aga-cegries --pwd --soft

List Installed Packages

refl pkg list

Project operations

Initialize a new project

Creates 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]

Install a package

From git

refl project install\
  --name smtlib \
  --git \
  --url git@github.com:marcelosousa/smtlib.git \
  --commit_hash c152c6fe59a0546c88e048f1ea50d193b997ef15

From a local location

refl project install\
  --local \
  --name agda-categories \
  --location ~/src/hott/agda-categories

Update a package

Pull a new version from github

refl project update --name smtlib --head master

Pull a new version from local

refl project update --name agda-categories --location ~/src/hott/agda-categories-new

Uninstall a package

refl project uninstall --name agda-categories