issues
search
rust-lang
/
types-team
Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
94
stars
19
forks
source link
Coinduction
#116
Open
nikomatsakis
opened
11 months ago