include note about idris version (to remove once a future idris release is out)