@edwinbrady You'll be pleased to know, I hope, that Idris was excitedly mentioned several times during tonight's @elmlang London meetup
excellent :). It is a fun time to be mucking about with languages, as I'm sure Elm folk agree...
-
-
Apparently! So I just need to learn Clojure, and Purescript, and some more Haskell, and then Idris... /cc
@krisajenkins -
and then whatever is invented next week... No problem :)
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.