An Exhaustivity Checker for a small STLC + Nats language written in Haskell
nicodelpiano / stlcnat-exhaustivity-checker Goto Github PK
View Code? Open in Web Editor NEWAn exhaustivity checker for a small STLC+Nats language written in Haskell
License: MIT License