idris-0.9.19.1: benchmarks/trivial/sortvec.ipkg

package sort

modules = sortvec 
opts = "-p effects" 

executable = sortvec
main = sortvec