disco-0.1.0.0: test/arith-prim/arith-prim.disco

import num

ps : List(N)
ps = filter(isPrime, [1 .. 100])