dependent-sum
Dependent sum type
homepage ↗ hackage: dependent-sum github: obsidiansystems/dependent-sum
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.7.2.0 | 1 | 2 d | details › |
Dependent sum type
homepage ↗ hackage: dependent-sum github: obsidiansystems/dependent-sum
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.7.2.0 | 1 | 2 d | details › |