3 ms·
This is really wonderful. I'm an amateur PL theory / type theory enthusiast, always looking to get my hands more dirty. Not sure how I could contribute, but I'
by potsandpans 3y ago
This is really wonderful. I'm an amateur PL theory / type theory enthusiast, always looking to get my hands more dirty.
Not sure how I could contribute, but I'd love to if possible.