Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / purescript/purescript-type-equality issues and pull requests

#20 - Prepare v4.0.1

Pull Request - State: closed - Opened by thomashoneyman about 2 years ago

#19 - Prepare v5.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

#18 - Update to v0.15.0

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

#17 - Prepare v4.0.0 release

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

#16 - Note that Coercible is now a super class of TypeEquals

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

#15 - Update changelog since v3.0.0

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

#14 - Fix Newtype instance in test code

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

#13 - Generate changelog and add PR template

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

#12 - Migrate to GitHub Actions

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

#11 - Use Leibniz equality

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

#10 - Update to v0.14.0-rc3

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

#9 - Use leibniz equality

Pull Request - State: closed - Opened by MonoidMusician 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 - No LICENSE file

Issue - State: closed - Opened by paf31 almost 7 years ago - 1 comment

#4 - Add effect row equality

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

#3 - Update for PureScript 0.11

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

#2 - Add equality for rows

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

#1 - Fix typo in doc comment

Pull Request - State: closed - Opened by LiamGoodacre over 7 years ago - 1 comment