Exercises from the Incredible Proof Machine, translated into Java by the power of Curry-Howard.
Primary LanguageJava