odoc-rfc-extension/src/ at main · jon.recoil.org/odoc-rfc-extension

jon.recoil.org / odoc-rfc-extension

An RFC extension for odoc

odoc-rfc-extension / src /

at main 2 files

Initial commit: odoc-rfc-extension

1 month ago

rfc_extension.ml

Add Copy_from support file variant and configurable x-ocaml URLs

2 weeks ago