name: ghc-typelits-natnormalise
description: A type checker plugin for GHC that can solve equalities and inequalities
of types of kind Nat, where these types are either:

Type-level naturals

Type variables

Applications of the arithmetic expressions (+,-,*,^).

It solves these equalities by normalising them to sort-of SOP
(Sum-of-Products) form, and then perform a simple syntactic equality.

For example, this solver can prove the equality between:

and

Because the latter is actually the SOP normal form of the former.

To use the plugin, add the

Pragma to the header of your file.
license_spdx: BSD-2-Clause
version: 0.7
spec_version: 1.0
download_url: http://hackage.haskell.org/package/ghc-typelits-natnormalise-0.7/ghc-typelits-natnormalise-0.7.tar.gz
home_url: 
                http://www.clash-lang.org/
              
news_url: https://libraries.io/hackage/ghc-typelits-natnormalise/versions.atom
date: 2021-02-12
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/ghc-typelits-natnormalise?number=0.7
vcs_tool: git
vcs_repository: https://github.com/clash-lang/ghc-typelits-natnormalise
vcs_branch: master
