trying agda with splitmix (https://hackage.haskell.org/package/splitmix)
Primary LanguageAgda
No issues in this repository yet.