| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
UML
Description
The UML folder contains the skeleton of an instance of Logic.Logic for the Unified Modeling Language UML. The details are currently still on branch UML.