Public
- Public
- Network
- Groups
- Popular
- People

Notices by Monoid Mary (argumatronic@mastodon.social)

Monoid Mary (argumatronic@mastodon.social)'s status on Tuesday, 04-Apr-2017 08:01:03 UTC Monoid Mary
- Nicoλas
- 🌈 Cλément D 🌈
@BeRewt @clementd i was half joking about the Idris -- everyone's been saying "we should rewrite this in Haskell", "we should rewrite this in Rust," etc, every language, but SO WEIRD NO ONE WANTS TO DO IT IN IDRIS :)

In conversation Tuesday, 04-Apr-2017 08:01:03 UTC from mastodon.social permalink
Monoid Mary (argumatronic@mastodon.social)'s status on Monday, 03-Apr-2017 05:53:03 UTC Monoid Mary
- sarah jeong
@sarahjeong oh no sorry, i was referring to this https://twitter.com/sarahemclaugh/status/788194358923292672
i thought you had been in on one of those conversations
In conversation Monday, 03-Apr-2017 05:53:03 UTC from mastodon.social permalink
Attachments
1. No result found on File_thumbnail lookup.
  
  By Sarah McLaughlin from Twitter
  
  the fun never stops pic.twitter.com/5BK9DX5WTn
  — Sarah McLaughlin (@sarahemclaugh) October 18, 2016
Monoid Mary (argumatronic@mastodon.social)'s status on Monday, 03-Apr-2017 05:38:23 UTC Monoid Mary
- sarah jeong
@sarahjeong are you wearing irony lipstick right now

In conversation Monday, 03-Apr-2017 05:38:23 UTC from mastodon.social permalink

Internal Server Error - Chirp!

Internal Server Error

Return value of UserFlagPlugin::showFlagButton() must be of the type array, none returned

User actions