| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Drasil.TheoryConcepts
Description
Theory related Drasil concepts, used across Drasil.
Documentation
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.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.