Hang out + short talk (A Whirlwind Tour of Type Theory by Ian Denhardt)
Details
Weekly informal functional programming meeting
Thank you to Sentenai for sponsoring!
Weekly informal functional programming meeting
Thank you to Sentenai for sponsoring!