idris-0.9.19.1: benchmarks/pidigits/pidigits.ipkg

package pidigits

modules = pidigits

executable = pidigits
main = pidigits