Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

Public
Lindsey Kuper

Edinburgh WG2.11 anecdote: I pronounced the Idris snoc-list constructor, `:<`, as "sad face" when asking a question about one of @edwinb's slides, and Edwin was like, "I'm going to start calling it that from now on." Then James McKinna asked a question from the back and *he* called it "sad face", too. I'm an Idris influencer!

Public
Conor Mc Bride

@lindsey @edwinb I'm sad that snoc-lists are the stuff of sad faces. Sad face.

Public
Lindsey Kuper

@pigworker @edwinb Yeah, and on second thought it's actually more of a walrus face.

🇨🇦 Joey Eremondi

@lindsey @pigworker @edwinb We can have Nil be Adam and Snoc be Jamie

Dec 07, 2024, 02:39 AM·Public·Elk
0boosts·0favorites
SearchLive feeds
About