Sergio Bonatto

The command `cargo install kind2` return: ```bash Compiling unicode-normalization v0.1.21 error: failed to run custom build command for `openssl-sys v0.9.75` Caused by: process didn't exit successfully: `/tmp/cargo-installeokYEg/release/build/openssl-sys-51c18241c0871913/build-script-main` (exit status: 101)...

In one case it claims that not all possible cases are covered, and when adding the case indicated by the Kind, it claims that the case is impossible Message without...

This is the return of the type check: ```sh • Got : (Equal Nat (Bool.if Nat (Evenb n) (Nat.succ (Nat.succ (Nat.double fst))) (Nat.succ (Nat.succ (Nat.succ (Nat.double fst))))) (Bool.if Nat (Evenb...

Because I used a very large function, the output ended up making it difficult to notice all the errors. The message for a missing case could be at the end...

I changed the examples (that did not explicitly involve lambdas and scopes) to pythonish style. Only the quick_sort is left