@hackage forsyde-shallow3.4.0.0

The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.

This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: https://forsyde.github.io/. For examples and tutorials using ForSyDe.Shallow, check the forsyde-shallow-examples repository.

This package is a spin-off of the ForSyDe project and it follows its versioning.