[Typer] [Git][monnier/typer][master] Merge changes to elaboration and evaluation tests.

Simon Génier pushed to branch master at Stefan / Typer Commits: a4540d14 by Simon Génier at 2020-09-10T15:47:53-04:00 Merge changes to elaboration and evaluation tests. - - - - - 0 changed files: Changes: View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a4540d1406fe38e5432cfb939e2e7e9031... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a4540d1406fe38e5432cfb939e2e7e9031... You're receiving this email because of your account on gitlab.com.