trillioneyes/TuringMachine.idr

Created October 30, 2014 14:42

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/trillioneyes/fe336fc981b3c6c431cf.js"></script>
Save trillioneyes/fe336fc981b3c6c431cf to your computer and use it in GitHub Desktop.

Download ZIP

Turing machines in Idris

Raw

TuringMachine.idr

module TuringMachine

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment