Follow

maybe the gnome folks should make it so that you dont need tweak tool to change basic settings but that just me

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.