summaryrefslogtreecommitdiff
path: root/src/dune (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-29Start deriving formatters for debuggingSon Ho1-1/+2
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-1/+1
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-2/+2
2021-11-23Move some definitions to Contexts.ml and reactivate the warningsSon Ho1-2/+2
2021-11-23Activate exception backtraceSon Ho1-1/+15
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-2/+1
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+1
2021-11-17Start working on json deserializationSon Ho1-1/+3
2021-11-02Setup the projectSon Ho1-0/+2