- 18 Mar, 2020 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 14 Feb, 2020 1 commit
-
-
POTTIER Francois authored
-
- 13 Feb, 2020 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 03 Feb, 2020 1 commit
-
-
POTTIER Francois authored
-
- 01 Feb, 2020 1 commit
-
-
POTTIER Francois authored
-
- 31 Jan, 2020 1 commit
-
-
POTTIER Francois authored
-
- 30 Jan, 2020 8 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 03 Oct, 2019 8 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
New functors [ForOrderedType], [ForHashedType], and [ForType] in Numbering.
-
POTTIER Francois authored
-
POTTIER Francois authored
Numbering: raise a more informative exception when [encode] or [decode] is given an invalid argument.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Sep, 2019 1 commit
-
-
POTTIER Francois authored
-
- 16 May, 2019 1 commit
-
-
POTTIER Francois authored
-
- 10 Dec, 2018 1 commit
-
-
POTTIER Francois authored
-
- 06 Dec, 2018 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 05 Dec, 2018 1 commit
-
-
POTTIER Francois authored
Add dune-project at the root. Move src/Makefile up to the root. Add an install: entry in src/fix.opam.
-
- 03 Dec, 2018 1 commit
-
-
POTTIER Francois authored
-
- 02 Dec, 2018 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 01 Dec, 2018 1 commit
-
-
POTTIER Francois authored
-
- 30 Nov, 2018 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-