December Singapore Haskell Meetup

Please be informed that we have the December meet up on the first Thursday of the month!

Address; 8 Marina Boulevard
Marina Bay Financial Centre Tower 1
Level 10 Dunsan meeting room

Time: 7pm onwards

First speaker: Dmitrii Kovanikov

• co-log: Composable Contravariant Comonadic logging library

Second speaker: Gergő Érdi

• Cubical Type Theory: From i0 to i1