Past Meetup

protop - topos programming

This Meetup is past

5 people went

Location image of event venue

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) ...