@edwinbrady Should Idris accept this as total? https://gist.github.com/csgordon/6499819 … It doesn't seem to fit the standard definition of strictly positive.
@csgordon It shouldn't, but I'm not surprised it does. Could you post an issue please? The positivity checker was made in a hurry...
-
-
@csgordon Thanks, duly annotated
End of conversation
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.