simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/doc
History
Exact
Simon Cruanes c4bbaddc06
new regression test for (get-model); fix mdx test
2022-02-02 16:12:55 -05:00
..
papers rename dir 2018-05-26 10:34:12 -05:00
dune doc: start guide, with ocaml-mdx to ensure it stays up to date 2021-07-03 23:39:37 -04:00
guide.md new regression test for (get-model); fix mdx test 2022-02-02 16:12:55 -05:00
mdx_runner.ml try to fix CI for mdx 2021-07-04 00:30:03 -04:00