Abstract: Specifications and implementation of the core concepts in Haskell.
See the Readme in the parent directory for general information about the Core Concepts.
Currently, the implementation is in a proof of concept state and should not be considered stable for a production environment.
Event.hs: Specifications of events.Field.hs: Specifications of fields.Location.hs: Specifications of locations.Makefile: Common commands for unix platforms.NetworkExamples.hs: Examples for networks.Network.hs: Specifications of networks.NetworkImpl.hs: Implementations of networks.Object.hs: Specifications of objects.
To run the Unit Tests execute: make test-all
To run the examples execute: make example-all
- FGL (Version: latest*)
* Most recent stable release on package
To install the dependencies execute: make install-dependencies