A Language with Dependent Types

Menu

OPLSS 2017 Course Materials

Materials for Edwin Brady’s 2017 Oregon Programming Languages Summer School course on programming in Idris. This is primarily intended for participants in OPLSS, and will grow (and probably change) as the summer school progresses: