GitHub - nickdrozd/rado: Turing machine in Idris, with some cool types

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
.gitignore		.gitignore
BB.idr		BB.idr
Machine.idr		Machine.idr
Makefile		Makefile
Parse.idr		Parse.idr
Program.idr		Program.idr
Tape.idr		Tape.idr
Test.idr		Test.idr

About

Turing machine in Idris, with some cool types

Report repository

Releases

No releases published

Packages

No packages published

Languages