[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