Commit 2022-06-13 18:50 5c951924

View on Github →

perf: compile runLinter.lean (#285) This gets us from 1630ms to 635ms runtime.

Estimated changes

added def readJsonFile
added def writeJsonFile