EECS 843

Programming Langauge Foundation II


Burrito King

To make things official, class on February 25 will start at 11:30 in the Nichols Hall lobby where we will carpool to The Burrito King. If it’s a nice day, we’ll stay there and do some Coq proofs at Burrito King. If it’s not a nice day, we’ll come back to Nichols, hang out, eat burritos, and do proofs. Pretty much geek heaven as far as I’m concerned.