Damien Amara (efa75c52) at 20 Feb 16:42
Fix the codemeta.json file
Damien Amara (03832739) at 20 Feb 09:58
Fix the codemeta.json file
Damien Amara (21ad48bd) at 20 Feb 09:42
Fix the codemeta.json file
Damien Amara (1f06c9ed) at 19 Feb 14:57
Create a codemeta.json file
Samuel Hym (6f3d9c52) at 28 Jan 11:40
Add license and copyright information to the README
Samuel Hym (b833154e) at 29 Jun 13:02
Samuel Hym (dd0ef32e) at 29 Jun 12:27
CI: Drop switch choice. Display current opam config.
... and 5 more commits
Samuel Hym (b833154e) at 29 Jun 11:52
CI: Drop switch choice. Display current opam config.
Samuel Hym (802a0d87) at 21 Jun 18:50
Error out properly when an argument cannot be located
Samuel Hym (272b7b36) at 17 Jun 18:00
Add a primitive for equality on booleans
... and 2 more commits
Samuel Hym (9dce1c4e) at 17 Jun 15:37
CI: List the versions of all installed packages
Samuel Hym (c56a9142) at 17 Jun 12:28
CI: List the versions of all installed packages
Samuel Hym (e7f148bd) at 16 Jun 18:13
Improve error messages when converting expressions
Samuel Hym (0a080995) at 14 Jun 18:44
CI: Build dx using Coq 8.13
Samuel Hym (4d9621af) at 06 May 15:32
Move Makefile variable assignment to default value
Samuel Hym (4603132f) at 04 May 17:12
Add a Makefile to run tests with installed dx