warning -> error, instructions for *idris-notes*; clean and dirty fiddling
Merge pull request #52 from hannesm/more-fixes

warning -> error, instructions for *idris-notes*; clean and dirty fiddli...