@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 :)
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 -
Monoid Mary (argumatronic@mastodon.social)'s status on Monday, 03-Apr-2017 05:53:03 UTC Monoid Mary @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
-
Monoid Mary (argumatronic@mastodon.social)'s status on Monday, 03-Apr-2017 05:38:23 UTC Monoid Mary @sarahjeong are you wearing irony lipstick right now
In conversation from mastodon.social permalink