├── ClosedTautoSolver.agda ├── README.md └── TautoSolver.agda /ClosedTautoSolver.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jespercockx/reflection-tutorial/HEAD/ClosedTautoSolver.agda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jespercockx/reflection-tutorial/HEAD/README.md -------------------------------------------------------------------------------- /TautoSolver.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jespercockx/reflection-tutorial/HEAD/TautoSolver.agda --------------------------------------------------------------------------------