Inferrer of Types and β-Reducer of β-Redexes
- Sep 13, 2016
I might have remembered it incorrectly so the first Pyrii (BTW I'm going with that plural from now on because it sounds and looks good) could be blue. I though it was confirmed that they are going to be black but since I cannot find the post that confirmed it I'm doubting myself on that now. Not that confirmations are set in stone here anyway.