diff options
| author | Alberto Ruiz <aruiz@um.es> | 2017-09-29 15:39:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-29 15:39:13 +0200 |
| commit | d4a9e39ba919ec2c0c04f02d4cc511c9dd900ca7 (patch) | |
| tree | c490aef1cbaecd484d81f4d25ff04310f14778e9 /examples/random.hs | |
| parent | 1000d04cccec05a4db2323e9c4ee2700dfb03dda (diff) | |
| parent | 4fa4dd4c80f7fcd94f31ae1bb82bef7d1b3bb0f8 (diff) | |
Merge pull request #240 from idontgetoutmuch/alberto
Print errors to stderr
Diffstat (limited to 'examples/random.hs')
0 files changed, 0 insertions, 0 deletions