Directory Tree

.
├── Check.agda
├── ChurchNumerals.agda
├── Eval.agda
├── Exp.agda
├── Lecture10.agda
├── Lexer.agda
├── Makefile
├── NatSignature.agda
├── Parser
│   └── Monad.agda
├── Parser.agda
├── Prelude
│   ├── IO.agda
│   └── Pretty.agda
├── Prelude.agda
├── STLC.agda-lib
├── Term
│   ├── Equality.agda
│   ├── Normalization
│   ├── Substitution
│   ├── Substitution.agda
│   ├── Weakening
│   └── Weakening.agda
├── Term.agda
├── Test
│   └── Check.agda
├── _build
│   └── 2.7.0.1
├── examples
│   └── add.hs
├── index.html
└── stlc.agda

tree v2.1.1 © 1996 - 2023 by Steve Baker and Thomas Moore
HTML output hacked and copyleft © 1998 by Francesc Rocher
JSON output hacked and copyleft © 2014 by Florian Sesser
Charsets / OS/2 support © 2001 by Kyosuke Tokoro