I guess this is an introduction?

I'm dawn, a high school student who is somewhat interested in programming languages. I also like to read (too much for my own good) and some other boring stuff.

I've been "lurking" here for a while but haven't posted anything because I have very little to say, and all the fancy math stuff goes over my head, so... yeah. That's about it.

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.