purescript/purescript-exists issues and pull requests

#20 - Add Exists2, Exists3... ?

Issue - State: open - Opened by thought2 about 1 year ago

#19 - Add `mapExists` function

Pull Request - State: open - Opened by yukikurage over 1 year ago

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

Pull Request - State: closed - Opened by JordanMartinez about 2 years ago
Labels: purs-0.15

#17 - Update to v0.15.0

Pull Request - State: closed - Opened by JordanMartinez over 2 years ago
Labels: purs-0.15, type: breaking change

#16 - `mapExists` helper

Issue - State: open - Opened by Mateiadrielrafael almost 3 years ago - 2 comments
Labels: status: needs more info

#15 - Prepare v5.0.0 release

Pull Request - State: closed - Opened by kl0tl over 3 years ago

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

Pull Request - State: closed - Opened by rhendric over 3 years ago - 1 comment

#13 - Update changelog since v4.0.0

Pull Request - State: closed - Opened by milesfrain over 3 years ago

#12 - Generate changelog and add PR template

Pull Request - State: closed - Opened by JordanMartinez over 3 years ago

#11 - Migrate to GitHub Actions

Pull Request - State: closed - Opened by thomashoneyman over 3 years ago

#10 - Update to v0.14.0-rc3

Pull Request - State: closed - Opened by JordanMartinez over 3 years ago - 1 comment

#9 - Add roles declarations to allow safe coercions

Pull Request - State: closed - Opened by kl0tl almost 4 years ago - 2 comments

#8 - Bump pulp version

Pull Request - State: closed - Opened by garyb about 4 years ago

#7 - Update CI

Pull Request - State: closed - Opened by garyb about 4 years ago

#6 - Update for PureScript 0.12

Pull Request - State: closed - Opened by garyb about 6 years ago

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

Issue - State: open - Opened by garyb over 6 years ago
Labels: type: documentation

#4 - Update for PureScript 0.11

Pull Request - State: closed - Opened by garyb over 7 years ago

#3 - Bump dev dependencies

Pull Request - State: closed - Opened by garyb almost 8 years ago - 2 comments

#2 - Updates for PureScript 0.8

Pull Request - State: closed - Opened by garyb over 8 years ago

#1 - Documentation

Pull Request - State: closed - Opened by paf31 over 9 years ago - 3 comments

Ecosyste.ms: Issues

GitHub / purescript/purescript-exists issues and pull requests