3 ms·FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript2 points by LightMachine 6y ago