Daryl Zuniga 🌱 sprig.land 🏞 on Nostr: nprofile1q…6gyrf I feel like MSR's old rise4fun.com used to have something close to ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) I feel like MSR's old rise4fun.com used to have something close to this, maybe with Dafny, CodeContracts for .NET or F*. It's a shame no one maintained that website, maybe Peli de Halleux (original creator) still has a copy of the code somewhere.