michaelsproul/honours-thesis

Issues

• Do a read-through from start to finish

  #20 opened 8 years ago
  0

• Update all Coq code examples

  #19 opened 8 years ago
  0

• Sweep over lit review, add Conor's Linear Dependent Types work

  #18 opened 8 years ago
  0

• Edit the section on variable naming

  #17 opened 8 years ago
  0

• Check the Own Work chapter for mistakes and omissions

  #16 opened 8 years ago
  0

• Write some framing stuff for the Own Work chapter

  #15 opened 8 years ago
  0

• Finish typing up L3's operational semantics

  #14 opened 8 years ago
  0

• Evaluate proof automation

  #13 opened 8 years ago
  0

• Finish typing up L3's typing rules

  #12 opened 8 years ago
  0

• Finish explaining L3

  #11 opened 8 years ago
  0

• Finish discussing substitution lemmas

  #10 opened 8 years ago
  0

• Assess Coq proof quality according to eval framework

  #9 opened 8 years ago
  0

• Conclusion

  #8 opened 8 years ago
  0

• Abstract

  #7 opened 8 years ago
  1

• Argue the generality of the library with reference to DILL and L^3

  #6 opened 8 years ago
  0

• Describe high-level goals for the library (evaluation criteria)

  #5 opened 8 years ago
  0

• Talk about C

  #4 opened 8 years ago
  1

• Add typing rules for LLC and L^3.

  #3 opened 8 years ago
  0

• Restructure to put Progress and Preservation up front

  #2 opened 8 years ago
  0

• Finalise section about insert and context split

  #1 opened 8 years ago
  0