Passing time in an airport. Maybe I’ll write comments on the plane. (Ho ho.) https://github.com/edwinb/States/blob/master/examples/Conc.idr …
-
-
indeed. Something to look forward to when I come back from travels.
-
also when I was in schipol I had an idea for a workshop paper we should have written a while a go. Fits nicely with this.
End of conversation
New conversation -
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.