Code

[ new ] System.Random bindings#2368

Code

Merged

MatthewDaggitt merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom gallais:system-randomgallais/agda-stdlib:system-randomCopy head branch name to clipboardApr 20, 2024

Commits

Commits on Apr 17, 2024

• [ new ] System.Random bindings

  gallais

  committed
  06aa4cb

  Copy full SHA for 06aa4cb

• [ more ] Show functions, test

  gallais

  committed
  667f77f

  Copy full SHA for 667f77f

• [ fix ] Nat bug, more random generators, test case

  gallais

  committed
  00c0dbe

  Copy full SHA for 00c0dbe

• [ fix ] missing file + local gitignore

  gallais

  committed
  b2a6d60

  Copy full SHA for b2a6d60

• [ fix ] forgot to update the CHANGELOG

  gallais

  committed
  7947cd4

  Copy full SHA for 7947cd4