Commits · 9746ffd2e92248beea3e8939f0a1deb6aee276fb · gradual-typing / sgdt

Oct 30, 2018
- add a summary of the revisions · 0d677ab6
  Max New authored 6 years ago
  
  0d677ab6
Oct 22, 2018
- fix some typos pointed out in reviews · dfe96cb3
  Max New authored 6 years ago
  
  dfe96cb3
Oct 11, 2018
- add popl revision notes · 3e100b60
  Max New authored 6 years ago
  
  3e100b60
Sep 21, 2018
- spell check response · 06147cce
  Dan Licata authored 6 years ago
  
  06147cce
- tweak first line · e3a2cdee
  Max New authored 6 years ago
  
  e3a2cdee
- more edits, made reviewers bold · aa9e2b86
  Amal Ahmed authored 6 years ago
  
  aa9e2b86
- edits to response · 8edd24be
  Amal Ahmed authored 6 years ago
  
  8edd24be
- more response edits (900 still) · 693dc0bf
  Max New authored 6 years ago
  
  693dc0bf
- edit response (900 words rn) · f214f14b
  Max New authored 6 years ago
  
  f214f14b
- response · e702347a
  Dan Licata authored 6 years ago
  
  e702347a
- add response about eta ordering · 4052cd7f
  Max New authored 6 years ago
  
  4052cd7f
- extend rebuttal · f6ed4b96
  Max New authored 6 years ago
  
  f6ed4b96
Sep 20, 2018
- start popl reviews · 3d521ac3
  Max New authored 6 years ago
  
  3d521ac3