.
├── Check.agda
├── ChurchNumerals.agda
├── Eval.agda
├── EverythingSTLC.agda
├── Exp.agda
├── Lecture10.agda
├── Lecture8.agda
├── Lecture8NoPeirce.agda
├── Lecture9.agda
├── Lexer.agda
├── Machine
│ ├── CEK.agda
│ └── Krivine.agda
├── Makefile
├── NatSignature.agda
├── Parser
│ └── Monad.agda
├── Parser.agda
├── Prelude
│ ├── IO.agda
│ ├── Pretty.agda
│ └── Reduction.agda
├── Prelude.agda
├── STLC.agda-lib
├── Term
│ ├── CallByValue.agda
│ ├── Equality.agda
│ ├── KripkeModel.agda
│ ├── NormalForm.agda
│ ├── Normalization
│ ├── Reduction
│ ├── Reduction.agda
│ ├── Substitution
│ ├── Substitution.agda
│ ├── Weakening
│ └── Weakening.agda
├── Term.agda
├── Test
│ └── Check.agda
├── _build
│ └── 2.8.0
├── 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