Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
model-checking
A model checking tutorial, written in literate Haskell
Haskell
Emerging
GitHub
Stars
11
Forks
1
Contributors
1
Last push
31mo ago
Recent commits
Latest commits.
attempting to fix previous post link
abc5438
Ben Selfridge
49mo ago
Final touchups
4b5949b
Ben Selfridge
49mo ago
Touchups
6b50d6a
Ben Selfridge
49mo ago
Touchups to post 2
6498f86
Ben Selfridge
49mo ago
Finished first draft of post 2
af4c800
Ben Selfridge
49mo ago
Working on second post
4ea990f
Ben Selfridge
49mo ago
Working on second post
4226528
Ben Selfridge
50mo ago
A couple tweaks to second post
7e44349
Ben Selfridge
50mo ago
Top contributors
Builders behind this project.
benjaminselfridge
49 commits
