Haskell implementation of a proof checker for Formal Sentential-Logic Proofs. Inspired by UCSD's PHIL 10 Course.