the complete case is supposed to require reduction multiple intervals but when I add an upper bound to my r I get the same thing so idk
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
OCaml? o.O
-
haskell
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.