summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-17Make more progress on CfimOfJsonSon Ho2-2/+56
2021-11-17Start implementing by hand the json deserializersSon Ho4-5/+186
2021-11-17Also generate to_yojson functionsSon Ho6-42/+53
2021-11-17Make minor modificationsSon Ho2-3/+7
2021-11-17Make progress on deserializing modulesSon Ho3-28/+22
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho7-25/+61
2021-11-17Make minor modificationsSon Ho1-12/+2
2021-11-17Start working on json deserializationSon Ho4-4/+47
2021-11-03Implement CfimAst.mlSon Ho4-2/+92
2021-11-03Add Values.ml and Expressions.mlSon Ho2-0/+118
2021-11-03Split main.ml between Identifiers.ml and Types.mlSon Ho3-138/+140
2021-11-03Add some type definitionsSon Ho1-2/+43
2021-11-02Setup the projectSon Ho2-0/+112
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 13:13:02 +0000