Popular repositories
383 contributions in the last year
Activity overview
Contributed to
ocaml-flambda/ocaml,
mshinwell/loser-ng,
ocaml-flambda/flambda-backend
and 5 other
repositories
Contribution activity
January 2021
Created 1 commit in 1 repository
Created a pull request in ocaml-flambda/ocaml that received 3 comments
Propagation of free names via UA
This patch causes the simplifier to propagate free names of expressions via UA
. A subsequent patch, which I hope to produce soon, can then remove t…
+3,229
−2,193
•
3
comments