#idris #scimark port report:
I got the random generator's initial state to typecheck!
haven't checked if the values are correct yet.... maybe i should

i'll put up a repo of it tomorrow, so others can contribute if they wanna