4 ms·Salt: Systems Programming, Mathematically Verified9 points by todsacerdoti 8mo agomasavik 8mo agoHow much of agentic coding was involved in developing this. The ergonomics of this language look very similar to Gleam.