Tyrade: A pure functional language for type-level programming in Rust
Tyrade: a pure functional language for type-level programming in Rust - willcrichton/tyrade... (more…)
Read more »I’ve gotten really into writing parsers lately, and Rust has turned out to be
the perfect language for that. In the course of my adventures, I came up with
the following: Read more