kind-rational
Version 0.5.0 revision 0 uploaded by RenzoCarbonara.
Package meta
- Synopsis
- Type-level rationals. Like KnownNat, but for rationals.
- Description
Type-level rationals. Like KnownNat, but for rationals.
- Author
- Renzo Carbonara
- Bug reports
- https://github.com/k0001/hs-kind/issues
- Category
- Types
- Copyright
- Copyright (c) Renzo Carbonara 2023
- Homepage
- https://github.com/k0001/hs-kind
- Maintainer
- renλren.zone
- Package URL
- n/a
- Stability
- n/a