- 02 Oct, 2020 1 commit
-
-
Maxime Perrotin authored
-
- 19 Apr, 2020 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 10 Apr, 2020 1 commit
-
-
Maxime Perrotin authored
-
- 09 Apr, 2020 2 commits
-
-
-
Maxime Perrotin authored
-
- 27 Feb, 2020 1 commit
-
-
Maxime Perrotin authored
-
- 18 Nov, 2019 2 commits
-
-
-
Maxime Perrotin authored
-
- 09 Oct, 2019 1 commit
-
-
Maxime Perrotin authored
-
- 19 Sep, 2019 1 commit
-
-
Maxime Perrotin authored
-
- 11 Sep, 2019 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
Include Safe_Just function to be as close as possible to a pattern matching with "Some x"
-
- 17 Jul, 2019 1 commit
-
-
Maxime Perrotin authored
-
- 06 Jul, 2019 3 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 13 Dec, 2018 4 commits
-
-
Maxime Perrotin authored
Set output file suffix so that it does not recompile every time
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 26 Nov, 2018 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 20 Oct, 2018 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 14 Sep, 2018 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 24 Aug, 2018 7 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 22 Aug, 2018 5 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 21 Aug, 2018 1 commit
-
-
Maxime Perrotin authored
-