Missing Files In Repo

[MRobertEvers]

It appears there are files missing from the repository. I've searched the Halley repo and the ggj20 repo with no success.

[pinguin999]

The files are generated by halley-cmd.exe import

So first build Halley with the CMake Flag -DBUILD_HALLEY_TOOLS=1

Than from the build folder run

..\halley\bin\halley-cmd.exe import .. ..\halley\