Simple, ready-to-use typed realization of SmallF*ck esoteric language. Highly inspired by this article.

```rust use typed_sf::; type SetTrue = Cycle>; // [<<[]>>>] // Move any-sized chunk of True's 2 cells left

[allow(noncamelcase_types)]

type prog = Cycle>>>>>>;

[allow(noncamelcase_types)]

type result = Run< prog, State>

;

assert_eq!( ::val(), (vec![true, true, false, false], false, Vec::new()) ); ```

Links:

Github repo: https://github.com/Zote-the-Mighty-4o2/typed-sf.rs docs.rs page: https://docs.rs/typed-sf/