# AgdaTutorial

**Repository Path**: mirrors_mcmtroffaes/AgdaTutorial

## Basic Information

- **Project Name**: AgdaTutorial
- **Description**: Git fork of http://hub.darcs.net/divip/AgdaTutorial
- **Primary Language**: Unknown
- **License**: BSD-3-Clause
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-08-09
- **Last Updated**: 2026-07-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

Usage
-----

An online HTML version can be found at

http://people.inf.elte.hu/pgj/agda/tutorial/


Local Builds
------------

1.  Set up a sandbox.

        cabal sandbox init

2.  Clone Agda and PandocAgda.

        git clone git@github.com:agda/agda.git ../agda
        git clone git@github.com:agda/agda-stdlib.git ../agda-stdlib
        git clone git@github.com:divipp/PandocAgda.git ../PandocAgda

3.  Install the git versions of agda and PandocAgda.

        cabal install ../agda ../PandocAgda

4.  Generate the html view of the tutorial.

        AGDAPANDOC="cabal exec agdapandoc --" AGDASTDLIB=../agda-stdlib/ make

Development
-----------

This Agda tutorial is under development.

Any contribution is welcome!