and 3 others
I am starting a weekly online study reading group for "Programming Language Foundations in Agda" https://plfa.github.io/ for beginners like myself, for 1 hour starting this Monday 22nd June 2020 at 8pm SGT. I think we will use Google Meet. If you want to join please send your email address to me (@juhp or email@example.com or via Meetup), and I will add you to the calendar invite.
Also follow us on Twitter: https://twitter.com/SgHaskell
We have Telegram chat group now https://t.me/joinchat/EAyomBUc5JQVZJMHWWL7Ew
If you are at YOW! this Saturday, 8 Sep, pls visit the SC booth and say hi to the Strats East team. https://www.yowconference.sg/program/
Standard Chartered is a Silver sponsor of YOW! Singapore https://www.yowconference.sg/sponsor/?id=386Say hello to us if you’re there!
Dear Haskeller @ SG, FLOPS 2018 is calling for paper submission. For details please refer to http://www.sqlab.jp/FLOPS2018/.