Ecosyste.ms: Issues

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

GitHub / isovector/type-sets issues and pull requests

#13 - Weird `Insert` behavior, type checker doesn't simplify all the way

Issue - State: closed - Opened by timoffex about 4 years ago - 6 comments

#12 - Attempt to fix travis CI by updating cabal file

Pull Request - State: closed - Opened by mgsloan about 5 years ago - 1 comment

#11 - Polykinded cmptype

Pull Request - State: open - Opened by mgsloan about 5 years ago

#10 - Make Type.Compare.Plugin use matching rather than splitTyConApp_maybe

Pull Request - State: closed - Opened by mgsloan about 5 years ago - 12 comments

#9 - Error claims the CmpType plugin is not enabled, when it is

Issue - State: closed - Opened by mgsloan about 5 years ago - 4 comments

#8 - Add a VariantF datatype and a membership proof.

Pull Request - State: closed - Opened by rohit507 over 5 years ago - 7 comments

#7 - Adding a VariantF type to the library.

Issue - State: closed - Opened by rohit507 over 5 years ago - 5 comments

#6 - Experiment with a red-black-tree set

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

#4 - Runtime check

Issue - State: open - Opened by int-index over 5 years ago - 6 comments

#3 - magic-tyfams should only emit a given once

Issue - State: closed - Opened by isovector over 5 years ago - 1 comment

#2 - Fix typo

Pull Request - State: closed - Opened by Avi-D-coder over 5 years ago - 1 comment

#1 - Stop doing stupid stuff with wanteds

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