summaryrefslogtreecommitdiff
path: root/compiler/.ocamlformat
diff options
context:
space:
mode:
authorSon Ho2023-06-02 16:10:20 +0200
committerSon HO2023-06-04 21:54:38 +0200
commit54afbf3a8b71ee729641ee3024d19aaf8fa92a67 (patch)
treea014bdb321be1ada84a8687e38bd17c487d68889 /compiler/.ocamlformat
parent435d75174a12a47da84537cc7c9730a0eccf6d1f (diff)
Start setting up the Nix derivation for HOL4
Diffstat (limited to 'compiler/.ocamlformat')
0 files changed, 0 insertions, 0 deletions