Crate typefun

Modules

bool

list

nat

ord

turing_machine

Simulate Turing machines on Rust’s type system. Only binary tapes are supported.

types

Macros

nat

state

tape

to_bool_list

transition

turing_machine