Ismaila FALL pushed to branch location-sinfo at Stefan / Typer

Commits: a34635da by Fallismaila at 2023-01-27T05:10:48+00:00 Yes, accuracy score 100%

- - - - -

30 changed files:

- − - − .gitignore - + .idea/encodings.xml - + .idea/vcs.xml - + .idea/workspace.xml - + _build/.aliases/default/btl/all-00000000000000000000000000000000 - + _build/.aliases/default/btl/typer_stdlib-00000000000000000000000000000000 - _) → _build/.aliases/default/btl/typer_stdlib-894e20e3a05c970afce59190ae53ce77 - + _build/.aliases/default/doc/all-00000000000000000000000000000000 - + _build/.aliases/default/doc/formal/all-00000000000000000000000000000000 - + _build/.aliases/default/emacs/all-00000000000000000000000000000000 - + _build/.aliases/default/samples/all-00000000000000000000000000000000 - + _build/.aliases/default/samples/typer_samples-00000000000000000000000000000000 - + _build/.aliases/default/samples/typer_samples-894e20e3a05c970afce59190ae53ce77 - + _build/.aliases/default/src/old/all-00000000000000000000000000000000 - + _build/.aliases/default/tests/runtest-00000000000000000000000000000000 - + _build/.aliases/default/tests/runtest-01fdccf548462383a9561aecdd756b89 - + _build/.aliases/default/tests/runtest-20dc196fb8ccf643be5a5939c7681050 - + _build/.aliases/default/tests/runtest-3475e63958295e1170ae43a6e2288f7d - + _build/.aliases/default/tests/runtest-42138be92a6dec907b00aa6c88b5c239 - + _build/.aliases/default/tests/runtest-7590510b5dfec4d41c8197e4a3b33cf9 - + _build/.aliases/default/tests/runtest-866a3b05386e78352d5b65dc32fdc35e - + _build/.aliases/default/tests/runtest-aab4b3e83a782d18085646303013a91e - + _build/.aliases/default/tests/runtest-af0fbd98ed92a2210cdc516e9a252311 - + _build/.aliases/default/tests/runtest-df403c4ff7d394eb7dd6db556b4a75e4 - + _build/.aliases/default/tests/runtest-e08b364de551ff675127d711315beae8 - + _build/.aliases/default/tests/runtest-f36943f88e093ddc9d7f85b013f2c041 - + _build/.aliases/default/tests/runtest-f6c70f09aa65aa5cf3c0877b3cf4f21b - + _build/.aliases/default/tests/runtest-ff30713b4b87e30d714cbf34653ddbe9 - + _build/.db

The diff was not included because it is too large.

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a34635da54c3245eb3948e210243c2742d...