agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard
verified publisher icon agda

[ new ] Effect.Monad.Random

Open gallais opened this issue 1 year ago • 0 comments

Still TODO:

  • [ ] instances for transformers
  • [ ] test case

gallais avatar Apr 22 '24 12:04 gallais