It's funny how natural & not theoretical it looks like in Idris to manage State & Context relying on types...
-
-
-
I need to tell the referees that :)
- 4 more replies
New conversation -
-
-
Do you ever model sessions with non-deterministic end states? The examples always seem to have `const st` as post-conditions.
-
I should add that I've tried, but couldn't figure out how to get the types to unify in my case.
- 2 more replies
New conversation -
-
-
See a talk on this at
#BCTCS2017 https://bctcs2017.cs.st-andrews.ac.uk/program.html#edwin … (and many other interesting things!)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.