Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/gelisam/existentials
A type-level DSL for placing existential constraints on some arguments of a type constructor
https://github.com/gelisam/existentials
Last synced: 22 days ago
JSON representation
A type-level DSL for placing existential constraints on some arguments of a type constructor
- Host: GitHub
- URL: https://github.com/gelisam/existentials
- Owner: gelisam
- Created: 2015-11-15T17:35:26.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2020-04-26T22:22:03.000Z (over 4 years ago)
- Last Synced: 2023-04-13T07:56:59.388Z (over 1 year ago)
- Language: Haskell
- Size: 9.77 KB
- Stars: 1
- Watchers: 3
- Forks: 1
- Open Issues: 0