Work through puffnfresh's Idris workshop