most of Num

This commit is contained in:
Folkert 2022-02-27 13:03:47 +01:00
parent 65b1b3fcce
commit 0107d78ea0
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 218 additions and 175 deletions

View file

@ -19,7 +19,7 @@ fn nat_alias() {
assert_evals_to!(
indoc!(
r#"
i : Nat
i : Num.Nat
i = 1
i