GitHub - rampion/constraint-unions: A syntax for unions of constraints in Haskell - discu.eu

Reddit

Constraint Unions - bringing "or" to the language of type constraints https://github.com/rampion/constraint-unions#readme 26 comments 29/6/2017 haskell

Linking pages

GitHub - sheaf/if-instance: GHC plugin to branch on whether a constraint is satisfied https://github.com/sheaf/if-instance 16 comments
One Serialization Class to Rule Them All - Ian Duncan https://www.iankduncan.com/articles/2023-08-29-one-serialization-class-to-rule-them-all 7 comments

Linked pages

Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
GitHub - sol/doctest: An implementation of Python's doctest for Haskell https://github.com/sol/doctest 19 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - rampion/constraint-unions: A syntax for unions of constraints in Haskell

See how to search.

Submit link to: