search

hipsleek / Heifer

effects system for continuation
https://hipsleek.github.io/Heifer/
MIT License
16 stars 4 forks source link

Reorganization of Project #16

Open XenonShawn opened 2 months ago

XenonShawn commented 2 months ago

Following the recommended project layout of Dune, I've shifted the different libraries and executables we have to lib/ and main/ respectively. Ideally code for executables should go in the src/ folder, but since that is already used I decided to go with a main folder instead.

The majority of the diffs only involves shifting of files and replacing parsing/hip.exe to main/hip.exe.

This also conveniently resolves #3, though I do note a few unused files in the folder, such as houdini.ml and sleek.ml. Perhaps a cleanup is in order?

XenonShawn commented 2 months ago

benchmarks/ho/hoeval.md still needs to be updated with the correct LoC command, but I'm not sure which exact LoC command is being used.