Code

Add TTFP, PFM and CTT Lecture Notes#3

Code

Open

markfarrell wants to merge 7 commits intojozefg:masterjozefg/learn-tt:masterfrom type-theory:mastertype-theory/learn-tt:masterCopy head branch name to clipboard

+10-1

Commits

Commits on Aug 30, 2015

• Add Type Theory and Functional Programming

  markfarrell

  committed
  1c6f4dd

Commits on Sep 1, 2015

• Update README.md

  markfarrell

  committed
  9350826

Commits on Oct 13, 2015

• Update PFPL to 2nd edition

  steshaw

  committed
  74f3cb8

• Merge pull request #1 from steshaw/master

  Show description for ea08203
  markfarrell

  committed
  ea08203

Commits on Nov 28, 2015

• Add Practical Foundations of Mathematics

  markfarrell

  committed
  abba98c

Commits on Dec 9, 2015

• Update README.md

  markfarrell

  committed
  5a6731b

Commits on Dec 15, 2015

• Add Constable Notes

  markfarrell

  committed
  4ec748a