Geeks
kosmikus
/
indexed
Generic programming with indexed families
indexed GitHub
Markdown
Readme
0
Issues
13
Stargazers
4
Watchers
Stargazers
aslesarenko
@ergoplatform
dreixel
Oxford, United Kingdom
effectfully
ilya-klyuchnikov
@facebook
jfischoff
Canonical LLC
juanbono
@lambdaclass
kosmikus
Well-Typed LLP
RyanGlScott
Galois, Inc.
scott-fleischman
ShadowCreator
sjoerdvisscher
Tweag
skeuchel
Vrije Universiteit Brussel
zelinskiy
Ordo Praedicatorum