Fix samples to use Type instead of Set
javascript: check for keywords as identifiers
javascript: filter all nonascii letters from identifiers
javascript: special handling for space and underscore in identifiers
javascript: fixed broken merge
javascript: added required decl for browsers
Merge pull request #170 from frytvm/master

Fix samples to use Type instead of Set
Merge pull request #173 from raichoo/javascript

javascript: check for keywords as identifiers
Error handling interpreter needs Functor instance (via bishboria)
Merge branch 'master' of github.com:edwinb/Idris-dev
Fix compile warning in ElabDecls
Lots of implementation paper revision
Note on metatheory
Added metatheoretic properties
Add Unify details in impl-paper
Show how tactics are applied in impl-paper
Tinkering with related work
More on related work
Tinker with spacing
Remove old code, tinker with section 4