Posted on September 4, 2020 by Evgeny Poberezkin Tags: haskell, executable, coding Modeling state machines with dependent types in Haskell: Part 2 This post is “literate” haskell (thanks to markdown-unlit), it can be run from the site repo using GHC 8.8.3 with stack run atm. You may want to read first “Modeling state machines with dependent types in Haskell: Part 1”, - this post builds upon it and answers the questions raised there. If you used singletons package and aware of the stat...
