A work in progress attempt to translate the particular OCaml syntax used by HOL Light into Standard ML (as a step towards CakeML).
This repository has been archived by the owner on Aug 8, 2020. It is now read-only.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A work in progress attempt to translate the particular OCaml syntax used by HOL Light into Standard ML (as a step towards CakeML).