Agda-2.6.1: A dependently typed functional programming language and proof assistant

Precompute free variables in a term (and store in ArgInfo).