protop - topos programming

We'll meet at 19:00 at the pizzeria Unikat.

The talk starts between 20:00 and 20:30 in the Math building in room M101 (TBC).

Lars will talk about modelling topoi in Haskell (https://github.com/brunjlar/protop) ...