jon.recoil.org
this repo has no description
Shell
15.6%
OCaml
12.2%
JavaScript
10.9%
Python
1.4%
Dune
0.4%
Other
59.5%
710
1
0
Clone this repository
https://tangled.org/jon.recoil.org/odoc-interactive-extension
https://tangled.org/did:plc:v3lpbvpa4s5yxincntuvtwtm/odoc-interactive-extension
git@knot.ludl.am:jon.recoil.org/odoc-interactive-extension
git@knot.ludl.am:did:plc:v3lpbvpa4s5yxincntuvtwtm/odoc-interactive-extension
For self-hosted knots, clone URLs may differ based on your setup.
Download tar.gz
5629c8d5 Add mdx as test dependency in odoc.opam
git-subtree-dir: odoc
git-subtree-split: 5629c8d594f948bfa9098e39d20afbc53f2f3ffb