Ecosyste.ms: Issues

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

GitHub / natefaubion/purescript-typelevel-eval issues and pull requests

#9 - Unsoundness when combining `ValueOf` and instance chains

Issue - State: open - Opened by zyla over 3 years ago - 1 comment

#8 - Typed expressions via polykinds

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

#7 - Cannot import type Boolean from module Type.Data.Boolean

Pull Request - State: closed - Opened by intronic over 3 years ago - 1 comment

#6 - updates to 0.14.4

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

#5 - Examples of converting homogeneous records

Issue - State: open - Opened by milesfrain over 4 years ago

#4 - Provide folds over generics

Issue - State: open - Opened by paluh over 4 years ago - 2 comments

#2 - Add support for type-family-like coercions

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

#1 - Update dependencies

Pull Request - State: closed - Opened by paluh over 5 years ago - 1 comment