| Copyright | (c) Maciej Bendkowski 2017-2018 |
|---|---|
| License | BSD3 |
| Maintainer | maciej.bendkowski@tcs.uj.edu.pl |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Boltzmann.System.Warnings
Description
Warning utilities meant to deal with, skippable, well-foundness checks or other redundant sanity checks of the considered combinatorial system.