Increment IBC (due to clash with earlier commit)
Comment on grammar fix [ci skip]
Merged with master
Remove Ord constraints from SortedMap toList
Fix some reachability warnings with Eff
Remove ":m" as a shortcut for ":module" in help as it
is used for ":metavars".
Remove argument for ":metavars" as it doesn't take any.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Add Foldable for SortedSet
javascript: initial Bits8 support
javascript: initial Bits16 support
javascript: make bounded001 pass
javascript: make folding002 pass
Workaround Travis skip of last commit.
Add a bunch of docstrings to Prelude.Strings

Didn't manage to create one for pack due to the interpreter
not knowing which foldable instance to use for [1, 2, 3].
Further simplification of expression parsing for better error handling
such as lists and constant literals.
Only useful information is now fetched, and the index.html file is properly generated.
Add scanl for Vect.
Uncomment truncate.

Also modify some types to help with unification.
More operations on lists
Add instance Uninhabited _|_