GitHub · Where software is built

This repository has been archived by the owner on Jun 4, 2021. It is now read-only.

Preview

Labels Milestones

List.find : (a -> Boolean) -> [a] -> Optional a

#77

· rjdestigter opened

on May 9, 2021

Text.concat : Text -> [Text] -> Text

#76

· jdan opened

on Feb 28, 2021

add convenience functions for new builtin IO functions

#75

· stew opened

on Feb 18, 2021

Add `Stack` datatype

#74

· jdan opened

on Feb 11, 2021

Greatest common divisor for Nat

#73

· runarorama opened

on Jan 28, 2021

Fix quadratic slowdown in `Gen`

#62

· runarorama opened

on Jun 18, 2020

Property test with 6+ uses of a generator locks up

#58

· atacratic opened

on May 30, 2020

Stream functions

#57

· anovstrup opened

on May 20, 2020

Exponential behaviour in `Test.both`

#45

· runarorama opened

on May 7, 2020