@hackage goal-geometry dependencies

6 results

library:goal-geometry (6 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause>=4.13 && <4.15

@hackage/indexed-list-literals

Type safe indexed list literals

@hackage/goal-core

Common, non-geometric tools for use with Goal

@hackage/ghc-typelits-natnormalise

GHC typechecker plugin for types of kind GHC.TypeLits.Nat

@hackage/ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

@hackage/ad

Automatic Differentiation