FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScriptgithub.com/moonad2 pointsLightMachine5 years ago