| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Drasil.Metadata.TheoryConcepts
Description
Theory related Drasil concepts, used across Drasil.
Documentation
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.
Data definition.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.
General definition.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.
Instance model.