Geeks
willcrichton
/
tyrade
A pure functional language for type-level programming in Rust
Primary Language
Rust
tyrade GitHub
Markdown
Readme
5
Issues
324
Stargazers
11
Watchers
Watchers
abrette
France
barambani
Dublin, Ireland
EdmundsEcho
Lucivia
eemailme
juliusvering
mpskowron
noxabellus
⊥
romac
@informalsystems
totsteps
trycatcher
willcrichton
Brown University