willcrichton/tyrade
A pure functional language for type-level programming in Rust
3 best points · 0 comments · 4 Hacker News posts · 344 GitHub stars · View on GitHub
Hacker News discussions
- Tyrade: A pure functional language for type-level programming in Rust (3 points, 0 comments, by agluszak, 2020-06-16)
- Tyrade: A pure functional language for type-level programming in Rust (3 points, 0 comments, by wcrichton, 2020-08-14)
- Tyrade: A pure functional language for type-level programming in Rust (2 points, 0 comments, by wcrichton, 2020-06-15)
- Tyrade: Language for type-level programming in Rust (2 points, 0 comments, by jaytaylor, 2021-09-29)