[PL-sem-jr] planning meeting recap

[Sam Caldwell]

During the planning meeting we decided we most want to learn more about
dependent types. (The second most popular topic is logic programming.)

Since we agree we are less interested in reading the dense material on the
topic, we are going to start by playing around on the implementation side.
So we are going to try out Stephanie Weirich's pi-for-all tutorial[1]. For
next week watch the "Lecture 1" videos (on the OPLSS website[2]) and look
gauge how valuable the reading materials in/linked from the repo are (such
as from the notes[3] files).

- Sam

[1] https://github.com/sweirich/pi-forall
[2]
https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html
[3] https://github.com/sweirich/pi-forall/blob/2014/notes.md
-------------- next part --------------
HTML attachment scrubbed and removed