drasil-srs-0.1.26.0: A framework for code and document generation for scientific software - SRS Language SubPackage

Safe Haskell	None
Language	GHC2024

Drasil.SRS.TypeCheck

Contents

Type check a Drasil System

Synopsis

typeCheckSI :: SmithEtAlSRS -> IO ()

Type check a Drasil `System`

typeCheckSI :: SmithEtAlSRS -> IO () Source #