| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Drasil.SRS.Generator
Contents
Synopsis
- genSmithEtAlSrs :: SmithEtAlSRS -> SRSDecl -> String -> [FileLayout]
- typeCheckSI :: SmithEtAlSRS -> IO ()
SRS Generator
genSmithEtAlSrs :: SmithEtAlSRS -> SRSDecl -> String -> [FileLayout] Source #
Generate Drasil's SRS (in HTML, TeX, Jupyter, and MDBook formats).
typeCheckSI :: SmithEtAlSRS -> IO () Source #