GitHub repository: willcrichton/tyrade
Primary language: Rust
Created: 2020-06-15T17:05:56Z
Description: A pure functional language for type-level programming in Rust