Commits

Branch selector

 cmu-2013-fall

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 2, 2014

• Merge pull request #12 from nubok/patch-2

  Show description for ace9bdd
  favonia

  committed
  ace9bdd

  Copy full SHA for ace9bdd

• Merge pull request #11 from nubok/patch-1

  Show description for fb216c7
  favonia

  committed
  fb216c7

  Copy full SHA for fb216c7

Commits on Sep 1, 2014

• Update notes_week2.tex

  Show description for d7fe245
  nubok

  committed
  d7fe245

  Copy full SHA for d7fe245

Commits on Aug 31, 2014

• Update notes_week1.tex

  Show description for 5b7971f
  nubok

  committed
  5b7971f

  Copy full SHA for 5b7971f

Commits on Jul 7, 2014

• Better 'make clean'.

  favonia

  committed
  db92cfd

  Copy full SHA for db92cfd

Commits on Jul 4, 2014

• merge

  RobertHarper

  committed
  5168f8d

  Copy full SHA for 5168f8d

• notes

  RobertHarper

  committed
  60b319b

  Copy full SHA for 60b319b

Commits on Feb 25, 2014

• Merge pull request #10 from ivoysey/cmu-2013-fall

  Show description for 39be932
  favonia

  committed
  39be932

  Copy full SHA for 39be932

• fixing typo in morphisms for first formulation of NNO in 2.2

  ivoysey

  committed
  282d246

  Copy full SHA for 282d246

• Added a rule for what eta looks like at the coproduct, just in terms of the diagram not with any proof term artifacts.

  ivoysey

  committed
  2c8975a

  Copy full SHA for 2c8975a

• missing gamma in unicity rule premise for implication

  ivoysey

  committed
  a8aa4f3

  Copy full SHA for a8aa4f3

Commits on Feb 5, 2014

• Merge pull request #9 from msuszczy/cmu-2013-fall

  Show description for ec38741
  RobertHarper

  committed
  ec38741

  Copy full SHA for ec38741

Commits on Feb 3, 2014

• small update

  

  Martin Suszczynski

  committed
  9bbae63

  Copy full SHA for 9bbae63

Commits on Feb 2, 2014

• Merge pull request #7 from newca12/fix-typo

  Show description for df65d29
  favonia

  committed
  df65d29

  Copy full SHA for df65d29

• Fixed typo

  newca12

  committed
  ef4b3cb

  Copy full SHA for ef4b3cb

Commits on Dec 26, 2013

• Solve #4.

  Show description for d513b05
  favonia

  committed
  d513b05

  Copy full SHA for d513b05

Commits on Dec 18, 2013

• Merge pull request #5 from chathhorn/patch-1

  Show description for f2cb05c
  favonia

  committed
  f2cb05c

  Copy full SHA for f2cb05c

Commits on Dec 14, 2013

• Merge pull request #6 from maurer/cmu-2013-fall

  Show description for 9bd7f61
  maurer

  committed
  9bd7f61

  Copy full SHA for 9bd7f61

• Finished notes for week 12

  maurer

  committed
  7eee1e4

  Copy full SHA for 7eee1e4

• Did some more cleaning up

  smuller

  committed
  30413d6

  Copy full SHA for 30413d6

Commits on Dec 13, 2013

• Made loop and base written properly

  maurer

  committed
  6a4ca80

  Copy full SHA for 6a4ca80

• Overrode refl

  maurer

  committed
  79ce94a

  Copy full SHA for 79ce94a

• Made all references to merid non-italic

  maurer

  committed
  272fba5

  Copy full SHA for 272fba5

Commits on Dec 12, 2013

• Cleaned up a bit more

  smuller

  committed
  d10c80f

  Copy full SHA for d10c80f

• Cleaned up an inference rule

  smuller

  committed
  1e3b98b

  Copy full SHA for 1e3b98b

• Cleaned up my sections

  maurer

  committed
  8f556c8

  Copy full SHA for 8f556c8

Commits on Dec 11, 2013

• Fixed non-buildingness of week12 notes

  maurer

  committed
  e06e190

  Copy full SHA for e06e190

Commits on Dec 9, 2013

• Some typos

  chathhorn

  committed
  e96ab3c

  Copy full SHA for e96ab3c

Commits on Dec 8, 2013

• Merge

  smuller

  committed
  86527ef

  Copy full SHA for 86527ef

• Commit stuff from desktop

  smuller

  committed
  ac7e6be

  Copy full SHA for ac7e6be

• Cleaned up and fleshed out some sections

  smuller

  committed
  d1762ef

  Copy full SHA for d1762ef

Commits on Dec 7, 2013

• Started cleaning up

  smuller

  committed
  b4a47a1

  Copy full SHA for b4a47a1

Commits on Dec 5, 2013

• Added TODOS

  smuller

  committed
  2312b62

  Copy full SHA for 2312b62

Commits on Dec 4, 2013

• More notes outline from wednesday class

  maurer

  committed
  6790f00

  Copy full SHA for 6790f00

Commits on Dec 3, 2013

• Merge branch 'master' into cmu-2013-fall

  

  Joseph Lee

  committed
  d0a63c3

  Copy full SHA for d0a63c3

Pagination

Previous

Next