diff options
author | Jonathan Protzenko | 2023-02-02 23:49:23 -0800 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | f09eabd7c0fce7c20a0124749c841cbf5b550c52 (patch) | |
tree | bbc761ab3d205981d5da598d5325cc9f4b9d8f4c /compiler/Identifiers.ml | |
parent | 40e7df701d246faa453003374206014606ca6b6d (diff) |
All of the generated code is syntactically correct
Diffstat (limited to 'compiler/Identifiers.ml')
0 files changed, 0 insertions, 0 deletions