added Hutton.agda to the repo
exercise 2
Merge branch 'master' of https://github.com/pigworker/CS410-14
Fixed concatenation function so it is now producing an ordered list