idris-0.9.13: test/reg043/run

#!/usr/bin/env bash
idris $@ --nocolour -e "Vect.take {n=2} {a=Nat}"