[Agda-dev] Re: Test

Andreas Abel abela at chalmers.se
Tue Dec 2 22:52:47 CET 2014


Another test.

On 02.12.2014 22:49, Andreas Abel wrote:
> Please ignore.
>

-- 
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/


More information about the agda-dev mailing list