type-nat-solver icon indicating copy to clipboard operation
type-nat-solver copied to clipboard

Published 20 hours ago • verified publisher icon yav
→

Metadata

A plugin for solving numeric constraints in GHC's type-checker

SMT-driven typechecking for naturals and booleans

This is a typechecker plugin for GHC using an SMT solver to resolve constraints on booleans and natural numbers.

Usage

Add type-nat-solver to your build-depends list and -fplugin TypeNatSolver to ghc-options.

← Metadata

49
Stars
5
Forks
Watchers

Owner

verified publisher icon yav

Metadata

A plugin for solving numeric constraints in GHC's type-checker

Back