idris-lang/Idris-dev — pull request #1733 by soimort (2014-11-20 05:12:37+00:00)
Title: Fix typo and clean up .gitignore

This PR does two things:
- Fixed small typo in `REPL.hs`: seDver -> server
- Removed all `tutorial/` items from `.gitignore`