Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/purescript/purescript-exists

Add Exists2, Exists3... ?

thought2 opened this issue over 1 year ago

Add `mapExists` function

yukikurage opened this pull request about 2 years ago

Prepare v6.0.0 release (1st PS 0.15.0-compatible release)

JordanMartinez opened this pull request over 2 years ago

Update to v0.15.0

JordanMartinez opened this pull request almost 3 years ago

`mapExists` helper

Mateiadrielrafael opened this issue over 3 years ago

Prepare v5.0.0 release

kl0tl opened this pull request almost 4 years ago

Generalize `Exists` to hold non-`Type`-kinded types

rhendric opened this pull request almost 4 years ago

Update changelog since v4.0.0

milesfrain opened this pull request almost 4 years ago

Generate changelog and add PR template

JordanMartinez opened this pull request almost 4 years ago

Migrate to GitHub Actions

thomashoneyman opened this pull request about 4 years ago

Update to v0.14.0-rc3

JordanMartinez opened this pull request about 4 years ago

Add roles declarations to allow safe coercions

kl0tl opened this pull request over 4 years ago

Bump pulp version

garyb opened this pull request over 4 years ago

Update CI

garyb opened this pull request over 4 years ago

Update for PureScript 0.12

garyb opened this pull request over 6 years ago

Is there a reason to prefer the foreign/coerced representation to Church encoding?

garyb opened this issue almost 7 years ago

Update for PureScript 0.11

garyb opened this pull request almost 8 years ago

Bump dev dependencies

garyb opened this pull request over 8 years ago

Updates for PureScript 0.8

garyb opened this pull request almost 9 years ago

Documentation

paf31 opened this pull request almost 10 years ago