issues
search
andrewthad
/
quantification
Data types and type classes for universally and existentially quantified types
4
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
split support for aeson into a separate package `quantification-aeson`
#10
edemko
closed
9 months ago
1
Does quantification really need to many dependencies?
#9
edemko
opened
10 months ago
2
Text upgrade
#8
edemko
closed
1 year ago
0
Factor Topaz.* into its own package
#7
goolord
closed
3 years ago
1
bump ghc-prim upper bound
#6
goolord
closed
3 years ago
1
improve exists{,2,3}
#5
chessai
closed
3 years ago
3
infix RecCons operator (<:)
#4
goolord
closed
5 years ago
0
module structure
#3
chessai
opened
5 years ago
0
rewrite 'Exists' using GHC.Types.Any and judicious unsafeCoerce
#2
chessai
closed
6 years ago
0
increase upper bound on aeson
#1
chessai
closed
6 years ago
0