![A cow. [Zoom in 🔍]](/img/cow-scaled.png)
Elisabeth and I are on vacation in Gotland this week. We are staying at her family cabin, suitably far from civilisation.
Avoiding platitudes about the scenery, I will just report that is a wonderful break, and that there has even some Agda code written at the cabin!
![Gotland. [Zoom in 🔍]](/img/gotland-scaled.png)
Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺