edwinb / States

State machines in Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Research in progress. Probably doesn't work, lots of things still do to.

You're welcome to fork the repository, or take any code or ideas (with appropriate credit), but I'm extremely unlikely to respond to pull requests, issues, or any requests for support, for the moment.

More later!

About

State machines in Idris

License:Other


Languages

Language:Idris 100.0%