A pure functional language for type-level programming in Rust - View it on GitHub