bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months agoFormally modeled Dreidel for no good reasonbuttondown.emailexternal-linkmessage-square0fedilinkarrow-up14file-textcross-posted to: formal_methods@programming.devhackernews@derp.foo
arrow-up14external-linkFormally modeled Dreidel for no good reasonbuttondown.emailbot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months agomessage-square0fedilinkfile-textcross-posted to: formal_methods@programming.devhackernews@derp.foo