github.com/purescript/purescript-exists commits

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

* Update the bower dependencies

* Update Node to 14 in CI

* Update the changelog

f765b4ace7869c27b9c05949e18c843881f9173b authored over 2 years ago by JordanMartinez <[email protected]>

Update to v0.15.0 (#17)

* Update to CI to use 'unstable' purescript

* Update pulp to 16.0.0-0 and psa to 0.8.2

* U...

612228db57657449f4ca81abae3d91cd24be3dd8 authored almost 3 years ago by JordanMartinez <[email protected]>

Update CHANGELOG.md

c34820f8b2d15be29abdd5097c3d636f5df8f28c authored over 3 years ago by Thomas Honeyman <[email protected]>

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

c083da6c4e95b8a5f3df427fedefcb0d17bb51da authored over 3 years ago by Ryan Hendrickson <[email protected]>

Prepare v5.0.0 release (#15)

Update CI to build with the latest version of the compiler, update the bower repository URL to m...

435ca7199d101a88c56fa9590532d3d4815f3d9b authored almost 4 years ago by Cyril <[email protected]>

Update changelog since v4.0.0 (#13)

9963d2d7ba28869a78c597830f566963c282886a authored almost 4 years ago by milesfrain <[email protected]>

Generate changelog and add PR template (#12)

* Add pull request template

* Update CI in PS to v0.14.0-rc5

* Generate CHANGELOG.md file ...

8159b7a6e993b49a34fe0deeafd59a288b79a481 authored almost 4 years ago by JordanMartinez <[email protected]>

Run CI on push / pull_request to master

86869d7a7adf6d0d16f5e107000f5407a80fa741 authored about 4 years ago by Thomas Honeyman <[email protected]>

Merge pull request #11 from purescript/github-actions

Migrate to GitHub Actions

7cb1740d80dceb844bc3e7182771c64d271e7885 authored about 4 years ago by Cyril <[email protected]>

Migrate to GitHub Actions and update installation instructions.

e28d048c828234e93feacfab8099d554995e94ee authored about 4 years ago by Thomas Honeyman <[email protected]>

Add roles declarations to allow safe coercions (#9)

6f89e519ed8812686b10ace8cc03430b73fe5e88 authored about 4 years ago by Cyril <[email protected]>

Update TAG to v0.14.0-rc3; dependencies to master; psa to v0.8.0 (#10)

cfa76820816b22425ec889272a95af5f1d9ab2e1 authored about 4 years ago by JordanMartinez <[email protected]>

Merge pull request #8 from purescript/bump-pulp

Bump pulp version

df46c68aa630771aad087de1eaa66279d922ac59 authored over 4 years ago by Gary Burgess <[email protected]>

Fix test command

4225c8ee293f981c4d5eb6788b3203015181c8f9 authored over 4 years ago by Gary Burgess <[email protected]>

Bump pulp version

5b2844f46186c3006a95b1c0a0fd1428c1e77877 authored over 4 years ago by Gary Burgess <[email protected]>

Merge pull request #7 from purescript/update-ci

Update CI

f1ec8b3e7180b32457f6ec30596fc1804560d0fc authored over 4 years ago by Gary Burgess <[email protected]>

Update CI

a86a51118ef0f615bd4855244c45a8357d34f941 authored over 4 years ago by Gary Burgess <[email protected]>

Merge pull request #6 from purescript/compiler/0.12

Update for PureScript 0.12

ef53359aebc09bf863800ca86ad1dcd76f0b08ae authored over 6 years ago by Gary Burgess <[email protected]>

Updated dependencies, license

cba78ef1be882c3cbd3451d9ee165337824ea28b authored over 6 years ago by Gary Burgess <[email protected]>

Bump deps for compiler/0.12

26781acbadb02742df18a3be0925b38dad6f8bd1 authored over 6 years ago by Liam Goodacre <[email protected]>

Merge pull request #4 from purescript/ps-0.11

Update for PureScript 0.11

aa6dddd1041e1aeabfa2abce8d307a4fa108760c authored almost 8 years ago by Gary Burgess <[email protected]>

Update for PureScript 0.11

a847b22a771bd9057e429646649c0b8ddc2621f6 authored almost 8 years ago by Gary Burgess <[email protected]>

Update README.md

a8416e9bed0a02ef34318a61640666011560cc9b authored about 8 years ago by Gary Burgess <[email protected]>

Merge pull request #3 from purescript/bump

Bump dev dependencies

fc8fa02ae69b8952d0eef23ab0f7b8b7a95c9994 authored over 8 years ago by Gary Burgess <[email protected]>

Bump dev dependencies

e13fcc7a37dc9b0059dc4a1739f43059518afadb authored over 8 years ago by Gary Burgess <[email protected]>

Update build for release

9523471292cd125c50ef496be8492e3bc273216d authored over 8 years ago by Gary Burgess <[email protected]>

Update build

e828c8341edbbd179e432e00a22b40065e47751a authored over 8 years ago by Gary Burgess <[email protected]>

Merge pull request #2 from purescript/0.8-updates

Updates for PureScript 0.8

6830ddea9621d5382b9a3eccb2fd7b9af0ccef03 authored almost 9 years ago by Gary Burgess <[email protected]>

Updates for PureScript 0.8

2de0414f27719b5cb4cec2f50131b7c3dd87669a authored almost 9 years ago by Gary Burgess <[email protected]>

Update build

f41e7137beed5ccdd1081af10d3a4cea68a77d04 authored over 9 years ago by Gary Burgess <[email protected]>

Updates for RC

b5689dfe6277d8069b3102318c714dc2566bca0e authored over 9 years ago by Gary Burgess <[email protected]>

Updates for 0.7

08f7232422fae8fdec01ded483da8b60d23fb891 authored over 9 years ago by Phil Freeman <[email protected]>

Add Travis config

68b0f00e58a00ab59d04dda92e6d5a053bacedcd authored over 9 years ago by Phil Freeman <[email protected]>

Update dependencies, use Console.

f29bd8cfef37bcaf6eb1b8df17aafc94cfa675dd authored over 9 years ago by Phil Freeman <[email protected]>

Move docs to front page

3612827b6c89f819298d3d57001049be18a34286 authored almost 10 years ago by Phil Freeman <[email protected]>

Merge pull request #1 from purescript/docs

Documentation

07a950a6e1e94b83cfc40b03d0e0f4fe7e9c5081 authored almost 10 years ago by Phil Freeman <[email protected]>

Update tests with example from docs

2a6072769d1c4a2666b36b640c572f27e91444d1 authored almost 10 years ago by Phil Freeman <[email protected]>

Update docs

87fd4c15b5d1a1d012ef1a991c9c6f0b17df1df4 authored almost 10 years ago by Phil Freeman <[email protected]>

first commit

844164475913a2fa6d9c9480690bb454031f6c62 authored over 10 years ago by Phil Freeman <[email protected]>

Ecosyste.ms: OpenCollective

github.com/purescript/purescript-exists