A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Hi, great blog post. I mainly wanted to fix the use of .as_ref() and express it using just `**`. It's really unfortunate that conversion traits like AsRef have a use in freestanding (non-generic) code like this, it's not intentional. Making `run` public makes sure everything that should be used for running a program is counted as used.
This issue appears to be discussing a feature request or bug report related to the repository. Based on the content, it seems to be resolved. The issue was opened by bluss and has received 1 comments.