Small typo in state.tex
Merge pull request #7 from ocharles/master

Small typo in state.tex
Naming update

Fixes #8.
Merge pull request #9 from idris-hackers/feature/renaming

Naming update
Updated readme.
Merge pull request #10 from jfdm/fix/support-files

Updated readme.