Rare find

tyrade. A pure functional language for type-level programming in Rust

github.com/willcrichton/tyrade

Problem

Audience

Updates

No founder updates yet. Check back soon.