bamboo Upgrade to latest Idris master

Latest commit 37ec9a3

Dec 24, 2017