dorchard/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
HaskellBSD-2-Clause
Stargazers
- 573Leipzig
- aaronlifton3LA
- agocorona
- AntonioRoldanMadrid
- buggymcbugfixUniversity of Kent
- dhruvio@RealFolk @GoSteadily
- dorchardCanterbury, UK
- hanshoglundTweag I/O
- infinity0∀A∈BQP. Adv(A) ≤ O(2⁻ˡ)
- Javran@google
- jfischofffal.ai
- jonathanlkingLondon
- jonsterlingUniversity of Cambridge
- juanbono@lambdaclass
- k-bxKyiv, Ukraine
- l-d-sMurdoch Childrens Research Institute
- markfarrellCanada
- michaelmesserUnited States
- minadGermany
- objectxMeguro-ku, Tokyo
- orakle
- paluh
- relrodRed Hat, Inc.
- s-panferovSan Francisco Bay area
- sdiehlLondon
- sheganinansData Scientist & Language Architect
- sheyllvier GmbH
- sleexyzwebsim
- Sophia-GoldNew York, NY
- tablitza
- timjb@TNG Technology Consulting GmbH
- vagarenko
- varadharajanGoldman Sachs
- wavewaveSan Francisco, CA, USA
- wenkokkeScotland
- wygulmage