I'm done but instead of doing the actual work with the data I've collected I'm going to visualize it in graphs with Racket
re: POPL 2021 livetooting
The problem is that the core of type theory is the function, and in set theory those are... sets
It's all sets
Fine. I will write a named function and return it instead of implementing a Y combinator
Jon(athan)? | ionchy [jɑːnt͡ʃi] 🏳️🌈
MSc student in CS doing PL things 🇨🇦
@ionathanch on most places 🐦
PoGo: 8336 6654 0984
#WaterDrinker 💧
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850