Reminded me to look out the window! Google 10 years ago Reminded me to look out the window! http://www.agda.com.au/inspiration/articles/2015/05/agda-shorts-brendan-hibbert/ Share this: Click to share on X (Opens in new window) X Click to share on Facebook (Opens in new window) Facebook