Commits · 74ac4af88761e461f096d632a82d22f6ce1e41b3 · gradual-typing / sgdt

Oct 29, 2018
- stub acks · 74ac4af8
  Dan Licata authored 6 years ago
  
  74ac4af8
- rewrite agt and gradualizer comparison · 13031b74
  Max New authored 6 years ago
  
  13031b74
- fix bad macro · 48ab9777
  Max New authored 6 years ago
  
  48ab9777
- revise the lazy section · 871666ac
  Max New authored 6 years ago
  
  871666ac
- avoid "story of discovery" in dynamic type interpretation section · f3b50926
  Max New authored 6 years ago
  
  f3b50926
- add in some refs to type tags throughout · 2eeed410
  Max New authored 6 years ago
  
  2eeed410
Oct 28, 2018
- revise the "applicability" section · df7df59b
  Max New authored 6 years ago
  
  df7df59b
Oct 26, 2018
- some half-written related work stuff · 023d5b1b
  Max New authored 6 years ago
  
  023d5b1b
- laziness tweak, typo · d116a549
  Max New authored 6 years ago
  
  d116a549
- refine Degen Thiemann talk · aa8135d7
  Max New authored 6 years ago
  
  aa8135d7
- talk about laziness · 7abf86a1
  Max New authored 6 years ago
  
  7abf86a1
- make almost all of the named rules go above rather than on the side · 0597f356
  Max New authored 6 years ago
  
  0597f356
- Henglein comparison · a156cb2d
  Max New authored 6 years ago
  
  a156cb2d
Oct 25, 2018
- degen and thiemann related work · 080cbdd4
  Max New authored 6 years ago
  
  080cbdd4
- more on eager and lazy semantics in the intro · 62e96576
  Max New authored 6 years ago
  
  62e96576
- contributions, various edits · cb57f25c
  Max New authored 6 years ago
  
  cb57f25c
Oct 24, 2018
- name the rest of the rules (and the text runneth over) · 2fb22f98
  Max New authored 6 years ago
  
  2fb22f98
- todos and more names · 035a0cbf
  Max New authored 6 years ago
  
  035a0cbf
- 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
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
- 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
- edits · b8198910
  Dan Licata authored 6 years ago
  
  b8198910
- 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