Make unification faster by computing HNF rather than normalising
Improve elaboration efficiency by cutting down on excessive backtracking
REPL shouldn't try to be too clever...
Fixes first part of issue #150
javascript: tailcalls
javascript: use runMain0 instead of main
javascript: abstracted tailcalls
javascript: tailcalls without exceptions
javascript: fix compares
javascript: added print function
javascript: fixed parameter translation
javascript: added string equality
javascript: fixed parens in names
javascript: fixed commas in name
Add a Monoid/Semigroup instance for Maybe.
Added CONTRIBUTORS file. Feel free to edit :).
Update CHANGELOG
Merge pull request #151 from LeifW/monoid_instance_for_maybe

Add a Monoid/Semigroup instance for Maybe.
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix compile error
Small conversion change