Clone CakeML, set $CAKEMLDIR to wherever you cloned it to, then run Holmake.
This research was supported as part of the Future of Life Institute (futureoflife.org) FLI-RFP-AI1 program, grant #2015-144121
Clone CakeML, set $CAKEMLDIR to wherever you cloned it to, then run Holmake.
This research was supported as part of the Future of Life Institute (futureoflife.org) FLI-RFP-AI1 program, grant #2015-144121