▲ 1 pointsTowards JavaScript Verification with the Dijkstra State Monadresearch.microsoft.comby isomorph·14y ago·0 comments·view on hn ↗