### Install MiniAgda with Stack

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Installs MiniAgda using stack, specifying the GHC version via stack.yaml.

```bash
stack install --stack-yaml=stack-$GHCVER.yaml
```

--------------------------------

### Install MiniAgda with Cabal

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Installs MiniAgda globally after building from source using cabal.

```bash
cabal install
```

--------------------------------

### Install MiniAgda using Cabal

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Installs MiniAgda from Hackage using the cabal package manager. Ensure cabal is updated first.

```bash
cabal update
cabal install MiniAgda
```

--------------------------------

### Build and Test MiniAgda with Stack

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Builds the MiniAgda project and runs its tests using stack, specifying a GHC version via stack.yaml.

```bash
stack build --stack-yaml=stack-$GHCVER.yaml
stack test  --stack-yaml=stack-$GHCVER.yaml
```

--------------------------------

### Build and Test MiniAgda with Cabal

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Builds the MiniAgda project and runs its tests using the cabal build system. Requires ghc to be in the PATH.

```bash
cabal build --enable-tests
cabal test
```

--------------------------------

### Run MiniAgda with Stack

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Executes a MiniAgda program file using stack run, specifying the GHC version.

```bash
stack run --stack-yaml=stack-9.12.yaml -- examples/Gcd/gcd.ma
```

--------------------------------

### Checkout Specific Version with Git

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Switches to a specific release version or branch of the MiniAgda repository.

```bash
git checkout $REF
```

--------------------------------

### Run MiniAgda with Cabal

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Executes a MiniAgda program file using the cabal run command after building.

```bash
cabal run miniagda -- examples/Gcd/gcd.ma
```

--------------------------------

### Clone MiniAgda Repository

Source: https://github.com/andreasabel/miniagda/blob/master/README.md

Obtains the MiniAgda source code from GitHub using git clone.

```bash
git clone https://github.com/andreasabel/miniagda
cd miniagda
```

=== COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.