All those articles about Rust's type system just make me miss full-on dependent types :/
(and sad that Idris doesn't have the same momentum as Rust)
Follow
@grainloom same, kinda
I tried to learn ATS, but the docs were out of date ::/
@grainloom I hope they've fixed the documentation!
@lizardsquid Based on a quick check, there is a lot of it but idk its quality.
No time to check rn coz
LERNING
@lizardsquid ooooh
I haven't heard of this one until now.