Closed yannbolliger closed 3 years ago
Up until now Rust-Stainless wasn't using the new typechecker of Stainless. This can change now as the typechecker worked out remaining problems. Unfortunately, this entails turning measure inference off, again. Reopens #86.
Up until now Rust-Stainless wasn't using the new typechecker of Stainless. This can change now as the typechecker worked out remaining problems. Unfortunately, this entails turning measure inference off, again. Reopens #86.