A type checker plugin based on clash-lang/ghc-typelits-natnormalise.
Solving is done with an external solving library.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A type checker plugin based on clash-lang/ghc-typelits-natnormalise.
Solving is done with an external solving library.