search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Add System.Random #354

Closed rgrover closed 4 years ago

rgrover commented 4 years ago

Add system support for generation of random values.

edwinb commented 4 years ago

Thanks for this! Just one small thing, though - would you mind putting it in contrib instead of base for now? I'd like to think a bit more about organisation of effectful things, especially with regard to the interfaces they live in, and if it's in base that implies a bit more stability.

(There are some other things in base that probably shouldn't be, following this rule. I'll deal with that later...)

rgrover commented 4 years ago

I don't intend to add anything further.

edwinb commented 4 years ago

Excellent, thanks.