idris-0.9.11: test/basic009/A.idr

module A

num : Nat
num = 0