Open abentkamp opened 2 months ago
This is a pure refactoring. The behavior of the code has not changed.
This allows us to remove the project precondition checks. They require a file system and lean/lake executables, both of which are hard to emulate in a browser environment.
This is a pure refactoring. The behavior of the code has not changed.
This allows us to remove the project precondition checks. They require a file system and lean/lake executables, both of which are hard to emulate in a browser environment.