User Tools

Site Tools


plc16:lecture_16

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plc16:lecture_16 [2016/10/12 16:47]
hossein created
plc16:lecture_16 [2016/10/12 16:57] (current)
hossein
Line 1: Line 1:
 ====== Lecture 16 ====== ====== Lecture 16 ======
 Lecture 16 {{ :​plc16:​lect16:​main.pdf |Slides}} Lecture 16 {{ :​plc16:​lect16:​main.pdf |Slides}}
 +
 +In lecture 16 we mostly discussed kinds. Kinds classify types (and type constructors) in much the same way that types classify
 +terms.
  
 === Readings ===  === Readings === 
plc16/lecture_16.txt ยท Last modified: 2016/10/12 16:57 by hossein