javascript: document %include directive
Added a note on ! syntax

Fixes #14
Merge pull request #15 from raichoo/master

javascript: document %include directive
Merge branch 'master' of github.com:idris-hackers/idris-tutorial
Add more notes on totality checking

Fixes #16
Don't curlify quotes in code environment
Replace outdated fmap with map
Fix typos
Update for new laziness syntax
Merge pull request #18 from pseudonom/master

Don't curlify quotes in code environment
typesfuns: Fix a broken sentence
Merge pull request #22 from alexander-b/master

typesfuns: Fix a broken sentence
Fix typo. Again.
Merge branch 'master' of github.com:idris-hackers/idris-tutorial
Add new nested record syntax