Ecosyste.ms: OpenCollective

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

github.com/purescript/purescript-type-equality

Type equality constraints
https://github.com/purescript/purescript-type-equality

Update ci.yml

0525b7d39e0fbd81b4209518139fb8ab02695774 authored over 2 years ago by Thomas Honeyman <[email protected]>
Prepare v4.0.1 (#20)

* Prepare v4.0.1

* Update bower.json

* Update ci.yml

84c65f94603bc54e1edce103758aa954ab0cdbaa authored over 2 years ago by Thomas Honeyman <[email protected]>
Prepare v4.0.1 release

8ff6afca3127a9fa43d9077fb760c885679bfc12 authored over 2 years ago by Thomas Honeyman <[email protected]>
Prepare v5.0.0 release (1st PS 0.15.0-compatible release) (#19)

* Update the bower dependencies

* Update Node to 14 in CI

* Update the changelog

035a0bbfd556902b6e2078ac4e12e59668a301b3 authored over 2 years ago by JordanMartinez <[email protected]>
Update to v0.15.0 (#18)

* Update to CI to use 'unstable' purescript

* Update pulp and psa

* Add changelog entry

...

af5bf3ef75ff6de33b253010a84320fbb9d58c6d authored almost 3 years ago by JordanMartinez <[email protected]>
Prepare v4.0.0 release (#17)

* Update CI to build with the latest version of the compiler

* Update the bower repository UR...

f7644468f22ed267a15d398173d234fa6f45e2e0 authored almost 4 years ago by Cyril <[email protected]>
Add note about Coercible now being a super class of TypeEquals (#16)

f7f69e75f0ef8a8fa09e3b8e1fec9b859e1e3f64 authored almost 4 years ago by JordanMartinez <[email protected]>
Update changelog since v3.0.0 (#15)

c9022cf495784fc06bd2988d4355c5052dac6927 authored almost 4 years ago by Thomas Honeyman <[email protected]>
Fix Newtype instance in test code (#14)

* Remove wrap/unwrap from test code's Newtype instance

* Add Coercible constraint to test (#1...

cb8a49143af9912806702a365155c36800db1cdb authored almost 4 years ago by JordanMartinez <[email protected]>
Generate changelog and add PR template (#13)

* Generate CHANGELOG.md file using notes from previous GH releases

* Add pull request templat...

5ec563c872118597a16dc3fb2047b5a501052c4a authored almost 4 years ago by JordanMartinez <[email protected]>
Run CI on push / pull_request to master

8be8f46e70074dd3ace313bd15227f26166e9675 authored about 4 years ago by Thomas Honeyman <[email protected]>
Migrate to GitHub Actions and update installation instructions. (#12)

b0b554696c2823c855595a0f6ea0abbc28cacf02 authored about 4 years ago by Thomas Honeyman <[email protected]>
Use Leibniz equality (#11)

* Use leibniz equality

* Add test for Leibniz on records

* Add leibnizOp

* Code review ...

564030a65ae6e86a6020dfe0a3138bc5dfaa1591 authored about 4 years ago by Harry Garrood <[email protected]>
Update to v0.14.0-rc3 (#10)

8ea0b91c381a21ecc99d26aa90ae9e63c0015dd1 authored about 4 years ago by Harry Garrood <[email protected]>
Merge pull request #8 from purescript/bump-pulp

Bump pulp version

ec1eca877e53296d8ce096174de41504b462bef0 authored over 4 years ago by Gary Burgess <[email protected]>
Bump pulp version

8f42a4decba07fd936dee6b54e3896b6a4dfdb97 authored over 4 years ago by Gary Burgess <[email protected]>
Merge pull request #7 from purescript/update-ci

Update CI

4fc2ad296f1500a982f452fdc9447fe61bfda88c authored over 4 years ago by Gary Burgess <[email protected]>
Update CI

d96c44c076d9e15b565e66eddea3224d01447e9f authored over 4 years ago by Gary Burgess <[email protected]>
Merge pull request #6 from purescript/compiler/0.12

Update for PureScript 0.12

2cdae51c394401cd5fc04b03c341273b41532b7d authored over 6 years ago by Gary Burgess <[email protected]>
Update dependencies, license

1ded3f6b522b5cbb419365533857b01e1b7c6d3b authored over 6 years ago by Gary Burgess <[email protected]>
Update for 0.12

b8d58167f9aa58af6572b8d0687d4282a26ef64c authored over 6 years ago by Gary Burgess <[email protected]>
Add EffectRowEquals

9cccbc7985d69619fdde0c4b2c16687a0e0282b8 authored over 7 years ago by Gary Burgess <[email protected]>
Merge pull request #3 from purescript/ps-0.11

Update for PureScript 0.11

25cdd032d0037082aa68e57d1fdec60ba4d7e85d authored over 7 years ago by Gary Burgess <[email protected]>
Update dependencies for PureScript 0.11

faab1e8ba484430c50c95a871592be394cf8896a authored over 7 years ago by Gary Burgess <[email protected]>
Merge pull request #1 from LiamGoodacre/master

Fix typo in doc comment

f6eeee8c5d49c0b01d6ade6ef0f8c6ae8be0b97b authored almost 8 years ago by Phil Freeman <[email protected]>
Fix typo in doc comment

620e9019dda14afca705c31ddadc8d7be8bb44f2 authored almost 8 years ago by Liam Goodacre <[email protected]>
v1.0.0

372fbb8196956b32c94f1ea8289344139bb43cb7 authored about 8 years ago by Phil Freeman <[email protected]>
License info etc

f5c333f69411b502ead8e661584989ccaf88d1b0 authored about 8 years ago by Phil Freeman <[email protected]>
Create README.md

97aa0e16e065f1b48d957fa061d4f53695f7e189 authored about 8 years ago by Phil Freeman <[email protected]>
first commit

07a3879789ece75e87c4be39e40fb0b16b9a6ac3 authored about 8 years ago by Phil Freeman <[email protected]>