new group
35 views
Skip to first unread message
David Smith
Aug 28, 2019, 4:39:58 AM8/28/19
to Type Theory Study Group
Hi,
I only just found out about this group but I have started a new group in functional programming slack. You can join "functional programming" using https://fpchat-invite.herokuapp.com/ and then there are 2 channels that might interest people here, #typetheory and #typetheory-noobs in the latter we currently have a reading group that are studying https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf
Steven Shaw
Aug 28, 2019, 5:42:39 AM8/28/19
to David Smith, Type Theory Study Group
That's great, thanks. I'll join noobs. I never did finish TTFP.
Reply all
Reply to author
Forward
0 new messages