swann@evertedsphere·Feb 16, 2018Linear types are going to be more complex than I thought they would. :)17
Brendan Zabarauskas@brendanzabReplying to @brendanzab and @mrkgrnaoGotta get around to deciphering McBride’s “I Got Plenty o’ Nuttin’” paper...6:17 AM · Feb 16, 2018·Twitter for iPhone1 Like
