IdrisDoc begun
Fixed IdrisDoc errors and added REPL :help descriptions
Changed IdrisDoc interface, updated command descriptions.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Tiny tidying up
Added IdrisDoc hooks from the command line.
Added IdrisDoc hooks from the command line.
NameTrie added to create map of names for easy lookup
Rewrote implementation so far to be much smarter
Package paths may now be in other locations than current directory
Merge remote-tracking branch 'upstream/master' into idrisdoc
Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODO
Merged with master
Merge remote-tracking branch 'upstream/master' into idrisdoc
Merged with master
Merge remote-tracking branch 'upstream/master' into idrisdoc
Only useful information is now fetched, and the index.html file is properly generated.
Added comments on PTerm
Fixed minor styling bug
Finished HTML generation of type headers and fixed a sorting bug for the index page