@edwinbrady sorry to bother, but I want to read more to understand notation like Γ ; λ ⃗x : ⃗U ⊢ f ⃗s : S any good online explns of syntax?
Replying to @dridus
@dridus Online, I'm not really sure. Can't remember where I learned either... http://www.cis.upenn.edu/~bcpierce/tapl/ is good if you can get hold of it.
9:33 AM - 27 Apr 2014
0 replies
0 retweets
1 like
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.