protop - topos programming
Details
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) ...