Introduced order-bug I’d have hard time ruling out w types. In o,n1,n2::[Int], ∀n rename if ∈ o (eg +1). BUG: ensure same new name in n1/n2
-
-
Replying to @milessabin
@milessabin I’ve still got that Idris tutorial queued up! Plus@thedagit’s http://blog.codersbase.com/posts/2013-12-03-learning-dependent-types.html … looks helpful1 reply 1 retweet 2 likes -
Replying to @kowey
@kowey@milessabin been meaning to try the Idris tutorial, but don't have suitable OS set up. Considering creating a vagrant box to share.2 replies 0 retweets 0 likes -
Replying to @mavnn
@mavnn@milessabin Idris at@functionalbton needs to happen :-). I wonder if we convince Edwin to make a trip to Brighton1 reply 0 retweets 0 likes -
Replying to @kowey
@edwinbrady fancy a trip to Brighton for a@functionalbton talk some time soon? /cc@kowey@mavnn2 replies 0 retweets 0 likes
@milessabin I'm doing a bit of a tour in January, so maybe it can fit in then somehow? @functionalbton @kowey @mavnn
-
-
Replying to @edwinbrady
@edwinbrady that would be awesome :-) /cc@functionalbton@kowey@mavnn0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.