Commits · 335fd45b4fb3e07cab4eb2e080846c19a34a9c3d · gradual-typing / sgdt

Oct 24, 2018
- intro tweaks · 335fd45b
  Max New authored 6 years ago
  
  335fd45b
- name some rules · 2bccd779
  Max New authored 6 years ago
  
  2bccd779
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
Jul 25, 2018
- some thoughts on polymorphism · 3ca81af2
  Max New authored 6 years ago
  
  3ca81af2
Jul 12, 2018
- edit the rest · f40838b6
  Max New authored 6 years ago
  
  f40838b6
- section 3, 4 edits · 57743bb6
  Max New authored 6 years ago
  
  57743bb6
- section 2 edits · d9f2cdd7
  Max New authored 6 years ago
  
  d9f2cdd7
- intro edits · 343489e7
  Max New authored 6 years ago
  
  343489e7
- turn short back on · ffc19b34
  Dan Licata authored 6 years ago
  
  ffc19b34
- proofread long · d110a389
  Dan Licata authored 6 years ago
  
  d110a389
Jul 11, 2018
- spell check · 9fb5cd95
  Dan Licata authored 6 years ago
  
  9fb5cd95
- make it fit · ea6c0b6b
  Dan Licata authored 6 years ago
  
  ea6c0b6b
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · c1df485e
  Dan Licata authored 6 years ago
  
  c1df485e
- related work · 381d3f16
  Dan Licata authored 6 years ago
  
  381d3f16
- long version todos · c60cd31d
  Max New authored 6 years ago
  
  c60cd31d
- fits · fe1bb6b9
  Dan Licata authored 6 years ago
  
  fe1bb6b9
- almost all long todos (just a few about 1 elim) · b11adc0d
  Max New authored 6 years ago
  
  b11adc0d
- some cites · 6e7d6335
  Max New authored 6 years ago
  
  6e7d6335
- herman cite, monotonic vs proxied in discussion, blame discussion · 07dde6f1
  Max New authored 6 years ago
  
  07dde6f1
- edits · 154595b6
  Dan Licata authored 6 years ago
  
  154595b6
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · a1f0a93b
  Dan Licata authored 6 years ago
  
  a1f0a93b
- edits · b8198910
  Dan Licata authored 6 years ago
  
  b8198910
- fixed a reference · 95b00535
  Amal Ahmed authored 6 years ago
  
  95b00535
- fixed some paragraph headings · 4de47e0e
  Amal Ahmed authored 6 years ago
  
  4de47e0e
- edits · cf1f0698
  Dan Licata authored 6 years ago
  
  cf1f0698
- fix pagination · 7e2aeae4
  Dan Licata authored 6 years ago
  
  7e2aeae4
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 1b00b4a1
  Dan Licata authored 6 years ago
  
  1b00b4a1
- edits to 1 and 2 · 35863a2b
  Dan Licata authored 6 years ago
  
  35863a2b
- tweak cite · 9e8fe8dc
  Max New authored 6 years ago
  
  9e8fe8dc