A Functional language interpreter implemented by Haskell. Error checking & imperitive features implemented by monads. Credit to Prof. Bruno.