I was thinking of submitting to @CodeMeshIO this year. Maybe I should offer a formalisation of cricket in Idris to make sure they don't take it...https://twitter.com/edwinbrady/status/1006257046495334401 …
-
-
Replying to @edwinbrady @CodeMeshIO
If you can explain the rules of cricket concisely and accurately in any language that would be quite a feat!
1 reply 0 retweets 0 likes -
Well let's get started. First of all, they're not rules, they're LAWS.
1 reply 0 retweets 4 likes -
Replying to @khstandrews @turingfan and
I reckon a hierarchy of state machines would do it. Perhaps it can be my killer example for finally polishing off https://www.idris-lang.org/drafts/sms.pdf
8:49 AM - 17 Jun 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.