/States

State machines in Idris

Primary LanguageIdrisOtherNOASSERTION

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!