@hackage haal-models0.1.0.0

Pre-built Mealy automaton models for haal.

Categories
License
BSD-3-Clause
Maintainer
steve.anunknown@gmail.com
Links
Versions
- 0.1.0.0 Sat, 21 Mar 2026

Installation
In your cabal file:
Dependencies (3)
- base >=4.18.3 && <5
- containers >=0.6.7 && <0.8
- haal
Dependents (0)

A collection of real-world Mealy automaton models (DTLS, MQTT, TCP, TLS) bundled for use with the haal library.