summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+2
* Make minor modificationsSon Ho2021-11-171-12/+2
* Start working on json deserializationSon Ho2021-11-171-1/+28
* Implement CfimAst.mlSon Ho2021-11-031-1/+19
* Split main.ml between Identifiers.ml and Types.mlSon Ho2021-11-031-0/+42