Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
epoberezkin
Fetched on 2024/05/01 15:02
epoberezkin
/
elevator-state-machine
Modeling state machine with dependent types - code for post -
View it on GitHub
https://www.poberezkin.com/posts/2020-06-29-modeling-state-machine-dependent-types-haskell-1.html
Star
2
Rank
3178117