Pinned toot

This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.

Pinned toot
Pinned toot
Pinned toot

why does IU use two seperate SSO systems that you have to sign into

@hazel What kind of dumb nerd actually reads the Principia Mathematica?

i have an actual project idea but i have no clue if it's even doable

a youtube video just got copyright claimed while i was watching it

anybody have any good fonts for agda in emacs

This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.

I should probably actually attend a PLMW but no I'm just going to hide in my corner

Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.