/plfa.github.io

Introduction to programming language theory in Agda

Primary LanguageAgdaCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Personal fork of plfa/plfa.github.io

See original README.

This fork adds:

  • Nix environment setup in shell.nix
  • exercise solutions (in solutions branch)

Nix setup notes

Prerequisites

  1. direnv set up in your shell.

  2. lorri set up with daemon running.

  3. Emacs with the following packages available:

    • use-package
    • direnv-mode
    • agda2-mode

Setup

  1. Add the following Emacs configuration:

    (use-package agda2-mode
  :mode ("\\.l?agda\\'" "\\.lagda.md\\'"))

  2. Run direnv allow. This will build the environment declared in shell.nix and ensure that Emacs can find the agda binary.