@edwinbrady why does length [1..3] `div` 0 evaluate to 4 : Nat in Idris (0.9.9)?
-
-
Replying to @edwinbrady
@edwinbrady according the to sources Nat.div explicitly handles this as (S left). But why? Why this function is declared as total at all?1 reply 0 retweets 0 likes
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.