@hackage / goal-geometry

The basic geometric type system of Goal

Latest0.20

Dependencies

library:goal-geometry (6 dependencies)

@hackage / goal-core Common, non-geometric tools for use with Goal
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.15
- License: BSD-3-Clause
@hackage / indexed-list-literals Type safe indexed list literals
- Version:
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version:
- License: BSD-2-Clause
@hackage / ad Automatic Differentiation
- Version:
- License: BSD-3-Clause
@hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
- Version:
- License: BSD-2-Clause