Fix typo
tweak wording
add todo
exclude todo.md from compilation as well
remove todo. i'm going to use github issue tracker instead.
Finish the halving example in computability
Merge branch 'master' into gh-pages
rebuild computability