| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
Temporal
Description
The Temporal folder contains the skeleton of an instance of Logic.Logic for temporal logic.
| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
Temporal
Description
The Temporal folder contains the skeleton of an instance of Logic.Logic for temporal logic.
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
| Key | Shortcut |
|---|---|
| s | Open this search box |
| esc | Close this search box |
| ↓,ctrl + j | Move down in search results |
| ↑,ctrl + k | Move up in search results |
| ↵ | Go to active search result |