[CakeML-dev] Building the env-refactor branch

Magnus Myreen magnus.myreen at gmail.com
Wed Feb 15 07:04:14 UTC 2017

Hi all,

What is the correct HOL commit for building env-refactor?

I'm asking because I hope to try to speed up ml_progLib, which is
making the bootstrap translation ridiculously slow at the moment (on
master). The improvement is best done on env-refactor because that
branch will soon be merged into master (I hope).


More information about the Developers mailing list