turn's out I am no longer considered an Idris user :-(https://twitter.com/edwinbrady/status/928231733174132736 …
-
-
mmmhh I wonder who I would have to speak too about...
-
Two people just came up to me and mentioned they have an Idris lunch club at work, so I think if we're lucky we could be in the double digits.
End of conversation
New conversation -
-
-
Well I got 26 GitHub stars on my Idris library so at least that :)
-
You’ll have to present it at
@CodeMeshIO now I suppose :) - 5 more replies
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.