willcrichton tyrade issues - Githubissues

willcrichton / tyrade

A pure functional language for type-level programming in Rust

323 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix typo in TList list_test

#9 MingweiSamuel closed 3 years ago
2
Type equality?

#8 Nadrieril opened 3 years ago
13
fix inner match in security types example

#7 castarco closed 3 years ago
1
Fix Clippy warnings

#6 matheus-consoli closed 3 years ago
1
Is it possible to build something like "consensus type" based on tyrade?

#5 zhiqiangxu opened 4 years ago
2
Alternative construct of type operating traits

#4 jerry73204 opened 4 years ago
2
Multi-level matching

#3 jerry73204 closed 4 years ago
4
Add Github Actions build

#2 gliptak closed 4 years ago
1
Use typenum for type-level integers

#1 RustyYato opened 4 years ago
1