Skip to content

Latest commit

 

History

History

hol-light-syntax

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Makefile
Makefile
 
 
README.md
README.md
 
 
ast.ml
ast.ml
 
 
back.ml
back.ml
 
 
bake.ml
bake.ml
 
 
do_hol.ml
do_hol.ml
 
 
ocaml_j
ocaml_j
 
 
print.ml
print.ml
 
 
print2.ml
print2.ml
 
 
print_util.ml
print_util.ml
 
 
setup.ml
setup.ml
 
 
tin.ml
tin.ml
 
 

README.md

A work in progress attempt to translate the particular OCaml syntax used by HOL Light into Standard ML (as a step towards CakeML).