Source
Contents
Index

ghc-typelits-presburger-0.2.0.0: Presburger Arithmetic Solver for GHC Type-level natural numbers.

Safe Haskell	None
Language	Haskell2010

GHC.TypeLits.Presburger

Documentation

plugin :: Plugin Source #

Produced by Haddock version 2.18.1