obsidiansystems/dependent-map
Dependently-typed finite maps (partial dependent products)
HaskellNOASSERTION
Stargazers
- 573Leipzig
- aedansWashington, US
- bitemyapp
- chris-martin@freckle
- chshershBloomberg
- cieplakStripe
- clojurians-org数皆智能
- cmahon
- cnd
- CYBAITokyo
- cyrbon
- denjiKyiv, UA
- dfordivam@obsidiansystems
- dmjioAustin, TX
- effectfully
- esnekoLatvia
- int-index@serokell
- jappeacejappie software
- llelf
- Mikolaj
- mmirmanExtensional
- mokus0
- mstksg@Anduril
- orakle
- quesebifurcanBerlin
- sboosali
- sdiehlLondon
- secondwtqSichuan University
- sheganinansData Scientist & Language Architect
- tchigher
- tkaden4WompMobile
- velveteerH-E-B
- vierccJapan
- waddlawJapan
- wolverian@reaktor
- zhuoyue95