| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Proposition
Description
validation of this package.
Synopsis
Documentation
prpOAlgBase :: Statement Source #
Validation of the basic entities of the package oalg-base.