[CakeML-dev] env-refactor status
Ramana Kumar
Ramana.Kumar at cl.cam.ac.uk
Mon Feb 13 06:30:19 UTC 2017
Hi all,
I'd like to collect the list of problems with the env-refactor branch,
that are stopping it from getting merged, and see who's working on
them. So far, these are the ones I know about:
- compiler/parsing/proofs/*: nobody?
- compiler/bootstrap/translation/*: Yong Kiam?
- compiler/bootstrap/evaluation/* (untested): nobody?
I added a page on the wiki with some suggested assignments of people
to tasks. If you know of other problems, or want to work on fixing one
of them, update the wiki.
https://wiki.cakeml.org/env-refactor
Cheers,
Ramana
More information about the Developers
mailing list