summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-18Make a minor fix to the deserializerSon Ho1-6/+6
2021-11-18Make the json deserializer workSon Ho3-486/+555
2021-11-17Implement module deserializationSon Ho1-0/+66
2021-11-17Implement deserializing for CfimAstSon Ho1-2/+144
2021-11-17Implement deserialization for ExpressionsSon Ho2-7/+150
2021-11-17Implement values deserializationSon Ho1-1/+82
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-27 03:40:07 +0000