FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScriptgithub.com2 points·LightMachine··0 commentsOpen articleSaveView on HN