@emmanueljs1 Hi, here's some boring legal stuff: could you possibly either approve this PR as a lightweight copyright assignment to The RedPRL Development Team, or express your own conditions about the copyright? For more details, please see https://github.com/RedPRL/ocaml-bwd/blob/add-emmanuel/CONTRIBUTING.markdown for details, thank you!
@emmanueljs1 Hi, here's some boring legal stuff: could you possibly either approve this PR as a lightweight copyright assignment to The RedPRL Development Team, or express your own conditions about the copyright? For more details, please see https://github.com/RedPRL/ocaml-bwd/blob/add-emmanuel/CONTRIBUTING.markdown for details, thank you!