idris-0.9.9: test/reg007/A.lidr

> module A

> n : Nat
> n = ?lala