Hacker GitHub

← All repos

willcrichton/tyrade

View on GitHub ↗ ★ 345 Rust

A pure functional language for type-level programming in Rust

5 mentions on Hacker News by 4 people: 4 stories, 1 comment · first 2020-06-15 · latest 2021-09-29

Mentions per year 5 mentions · busiest year 2020 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Tyrade: Language for type-level programming in Rust
    story by jaytaylor · 2021-09-29 · 0 comments
  2. ▲ 3
    Tyrade: A pure functional language for type-level programming in Rust
    story by wcrichton · 2020-08-14 · 0 comments
  3. ▲ 3
    Tyrade: A pure functional language for type-level programming in Rust
    story by agluszak · 2020-06-16 · 0 comments
  4. ▲ 2
    Tyrade: A pure functional language for type-level programming in Rust
    story by wcrichton · 2020-06-15 · 0 comments