summaryrefslogtreecommitdiff
path: root/typing/untypeast.mli
Commit message (Expand)AuthorAgeFilesLines
* use open recursion in untypeast.mlGabriel Scherer2015-03-081-6/+59
* move tools/untypeast.ml to typing/untypeast.mlGabriel Scherer2015-03-081-0/+20