Directory Tree

.
├── Check.agda
├── ChurchNumerals.agda
├── Eval.agda
├── Exp.agda
├── Lecture8.agda
├── Lexer.agda
├── Makefile
├── NatSignature.agda
├── Parser
│   └── Monad.agda
├── Parser.agda
├── Prelude.agda
├── STLC.agda-lib
├── Term.agda
├── Test
│   └── Check.agda
└── index.html

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