[PL-sem-jr] Reminder: pl junior tomorrow in 366 at 4

Sam Caldwell samc at ccs.neu.edu
Wed Oct 12 21:24:25 EDT 2016


We'll be going over the first lecture on implementing dependent types.

- Sam
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list