[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