[Agda-dev] Summer riddle

[Ulf Norell]

They're both epicly awesome?

/ Ulf

On Mon, Jul 4, 2016 at 11:34 AM, Andreas Abel <abela at chalmers.se> wrote:

> What has the following picture to do with Agda as of today/now (2016-07-04
> 11:33 pm).
>
>
> https://upload.wikimedia.org/wikipedia/commons/f/f3/Albrecht_Altdorfer_-_Schlacht_bei_Issus_%28Alte_Pinakothek%2C_M%C3%BCnchen%29.jpg
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www2.tcs.ifi.lmu.de/~abel/
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20160704/ddc193db/attachment.html