yav · GitHub

Folders and files

Name		Name	Last commit message	Last commit date
docs		docs
examples		examples
src		src
tests		tests
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
Makefile		Makefile
README.mkd		README.mkd
Setup.hs		Setup.hs
type-nat-solver.cabal		type-nat-solver.cabal

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.

About

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

Resources

Stars

51 stars

Watchers

9 watching

Forks

Releases

Packages

Used by

Contributors

Languages

Read the original on github.com ↗