1What Happens to Software When Proof Is Cheap? [video] (opens in new tab)(youtube.com)Video1joomy1mo ago0Save
3A Haskell program to check the vezin (prosody) of Ottoman Divan poetry (opens in new tab)(github.com)GitHub3joomy11y ago0Save