/idris-tf-random

A port of the Haskell tf-random to Idris

Primary LanguageC

tf-random

A port of the Haskell tf-random to Idris.