A grammar induction project written in Haskell