Follow

I’ve wanted to try the TGV ever since we learned about it in French class in high school as (supposedly) the pinnacle of French engineering achievement 😅 Anyway it was great! It was pretty fast! I’m in Paris for ETAPS this week, ping me if you are too!

Sign in to participate in the conversation
types.pl

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