├── .gitignore ├── README.md ├── compile.agda ├── lists.agda ├── norm.agda ├── normal.agda ├── print.agda ├── syn.agda ├── tests.agda └── trace.agda /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | MAlonzo/** 3 | compile 4 | *~ 5 | .DS_Store 6 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/README.md -------------------------------------------------------------------------------- /compile.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/compile.agda -------------------------------------------------------------------------------- /lists.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/lists.agda -------------------------------------------------------------------------------- /norm.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/norm.agda -------------------------------------------------------------------------------- /normal.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/normal.agda -------------------------------------------------------------------------------- /print.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/print.agda -------------------------------------------------------------------------------- /syn.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/syn.agda -------------------------------------------------------------------------------- /tests.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/tests.agda -------------------------------------------------------------------------------- /trace.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FrozenWinters/SbE/HEAD/trace.agda --------------------------------------------------------------------------------