#Agda #HoTT So.11.01 18:00 indiaking.de haskell-hackathon.no-ip.org/#next_hackathon #Haskell #Hackathon #Munich #muc #ger #programming #meetup #math #fp
0
0
2
0
0