I’ve been working on this for about 2 months now, ...
# arrow
r
I’ve been working on this for about 2 months now, everytime going down a type theory hole that I don’t really understand yet.