State machines with phantom types in Elm.
Primary LanguageElmBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause