dependent-sum icon indicating copy to clipboard operation
dependent-sum copied to clipboard

Published 20 hours ago • verified publisher icon obsidiansystems
→

Metadata

Dependent sums and supporting typeclasses for comparing and displaying them

Results 3 dependent-sum issues
Sort by recently updated
recently updated
newest added

GHC >=9.4 support

Hi, for my [eclair-lang](https://github.com/luc-tielen/eclair-lang) compiler I depend on `dependent-sum-template`. Unfortunately, it's the only dependency that hasn't been updated for GHC 9.4 (or newer) yet. Are there any plans to do...

luc-tielen avatar luc-tielen

Package needs a LICENSE

I'm trying to use this code for a work project, but the lack of a clear license is a problem. Consider putting something like CC in LICENSE, if you intend...

izuk avatar izuk

`deriveGEq` for multiindex GADTs?

How would one use `deriveGEq` to automatically derive this type? ```haskell data Response resp a where Response_Loading :: Response resp () Response_BadResponse :: Response resp () Response_BackendError :: Response resp...

srid avatar srid

← Metadata

53
Stars
38
Forks
Watchers

Owner

verified publisher icon obsidiansystems

Metadata

Dependent sums and supporting typeclasses for comparing and displaying them

Back