@channingwalton depends how big the program is.
-
-
Replying to @nicferrier
@nicferrier I'm interested in how one builds a novel type system & ensure 'correctness' - not sure if that's the right question/terminology3 replies 0 retweets 0 likes -
Replying to @channingwalton
@channingwalton but I'd be happy to have a beer with you some time, don't bring your hilarious friend.1 reply 0 retweets 0 likes -
Replying to @nicferrier
@nicferrier beer sounds good. Where are you based?1 reply 0 retweets 0 likes -
-
Replying to @nicferrier
@nicferrier I'm working in London donor should be easy to meet some time.2 replies 0 retweets 0 likes -
Replying to @channingwalton
@channingwalton am up on thursday. will give you a shout.1 reply 0 retweets 0 likes -
Replying to @nicferrier
@nicferrier I'm on holiday at the moment, I'll be back in a couple of weeks.1 reply 0 retweets 0 likes -
Replying to @channingwalton
@channingwalton@nicferrier Channing, you are being sold snake oil by a confused person.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@nicferrier I just want to see what is meant, perhaps not what I am interpreting it to mean3 replies 0 retweets 0 likes
@channingwalton @nicferrier Sure. Have a look at type theory and Lisp and realise it is indeed bollocks. Not all people do this, obviously.
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.