@edwinbrady I'd need my universal quantifier in Idris to go further in my experiment, any seconds to allocate to me? :p
@mandubian I have to be disturbed by teaching haskell for a bit now... Some quick prodding suggests it's just a silly error on my part.
-
-
@edwinbrady don't worry, I'm quite busy too... take the time to think it quietly -
@mandubian but it's annoying me now so I have to fix it soon... - 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.