Viewing profile — iswim

Do you mean F* and some of the work by Phil Wadler et al eg. http://homepages.inf.ed.ac.uk/wadler/papers/qdsl/curryon.pdf

are you saying they're not related?

I believe it is the "RRS David McBoatface Attenborough"

Staying on the low-content theme . . . that's just how awesome Wirth et al are.

for recent(ish) activity https://depts.washington.edu/aimgroup/proj/dollar/

"You keep using that word. I do not think it means what you think it means."

Around here the bylaw officer (who used to chalk tires) now has a tablet that takes a picture of the vehicle (including licence plate and I assume includes GPS coordinate). The pit…

https://www.youtube.com/watch?v=ExWfh6sGyso