issues
search
obsidiansystems
/
dependent-map
Dependently-typed finite maps (partial dependent products)
Other
63
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Generalize function types
#6
ryantrinkle
closed
8 years ago
1
F-polymorphic map functions
#5
int-index
closed
8 years ago
2
Also enable PolyKinds in the top-level module
#4
hgoes
closed
8 years ago
0
Poly-kinded DMap
#3
int-index
closed
9 years ago
3
fix cabal file for ghc-7.8.4
#2
s9gf4ult
closed
9 years ago
4
Bad documentation on DMap
#1
spl
closed
9 years ago
2
Previous