Type verification on recursive function
Merge pull request #38 from pedroassis/master

Type verification on recursive function