Hacker News new | ask | show | jobs
by lkuty 107 days ago
Like in the Dafny pogramming language. Cfr. https://www.youtube.com/watch?v=oLS_y842fMc