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 over 3 years ago

#19 - Prepare v5.0.0 release (1st PS 0.15.0-compatible release)

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

#18 - Update to v0.15.0

Pull Request - State: closed - Opened by JordanMartinez over 3 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 4 years ago

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

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

#15 - Update changelog since v3.0.0

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

#14 - Fix Newtype instance in test code

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

#13 - Generate changelog and add PR template

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

#12 - Migrate to GitHub Actions

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

#11 - Use Leibniz equality

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

#10 - Update to v0.14.0-rc3

Pull Request - State: closed - Opened by hdgarrood almost 5 years ago

#9 - Use leibniz equality

Pull Request - State: closed - Opened by MonoidMusician about 5 years ago - 2 comments

#8 - Bump pulp version

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

#7 - Update CI

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

#6 - Update for PureScript 0.12

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

#5 - No LICENSE file

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

#4 - Add effect row equality

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

#3 - Update for PureScript 0.11

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

#2 - Add equality for rows

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

#1 - Fix typo in doc comment

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