Conversation

Notices

1. 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 :)

   • Hallå Kitteh likes this.
   • Hallå Kitteh repeated this.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 04-Apr-2017 08:02:31 UTC Hallå Kitteh

     in reply to

     • Nicoλas
     • 🌈 Cλément D 🌈
     @argumatronic @berewt @clementd It's at 1.0 now. They will come, don't you worry.
   • Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 04-Apr-2017 08:15:57 UTC Hallå Kitteh

     • Nicoλas
     • 🌈 Cλément D 🌈
     @argumatronic @berewt @clementd I really like the Type-Driven Development talk. It seems a rather practical language.
     
     https://www.youtube.com/watch?v=gonVdPyVwQQ