Ismaila FALL pushed to branch location-sinfo at Stefan / Typer
Commits: 68c2576e by Fallismaila at 2023-01-27T05:16:40+00:00 Yes, accuracy score 100%
- - - - -
30 changed files:
- − .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 - − _build/.digest-db - − _build/.filesystem-clock
The diff was not included because it is too large.
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/68c2576e4ace5ebbe75f8950efc0c14a24...