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