TrainLogic

Material for a background course on Logic and Type Theory. If you wish to start a REPL using mill with the scala code in this project, make sure JAVA 8 is installed and run

./mill -i logic.repl

An alternative is to use the sbt build and start a console

sbt logic/console

The recommended way to browse the code is to install the metals plugin in VS Code and open the folder. Alternatively, run

./mill mill.scalalib.GenIdea/idea

to set up the project for IntelliJ IDEA.