>>475
idrisって依存型はあるけど線形型もあるの?

依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの?