Curry Package 'random'

random

This package contains the library System.Random for pseudo-random number generation in Curry.