unless the project is written in Idris, in which case it's not clear how one should interpret bug reports about the (Idris) code
-
-
-
the types could well be wrong :)
End of conversation
New conversation -
-
-
normalize by stars/watches?
-
that assumes that all user populations star at the same rate, which seems unlikely to me
- 3 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.