Commits · 080cbdd42dd48c827d0ee43d99e82fc32011e6c1 · gradual-typing / sgdt

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
- edits to 1 and 2 · 35863a2b
  Dan Licata authored 6 years ago
  
  35863a2b
- tweak cite · 9e8fe8dc
  Max New authored 6 years ago
  
  9e8fe8dc
- intro · 7e077f5c
  Dan Licata authored 6 years ago
  
  7e077f5c
- intro · fdcbd524
  Dan Licata authored 6 years ago
  
  fdcbd524
- a 25 page version · 2e94ff76
  Max New authored 6 years ago
  
  2e94ff76
- long version citation fixes · 976acd32
  Max New authored 6 years ago
  
  976acd32
- some formatting on contextual decomp lemma · 99f0c962
  Max New authored 6 years ago
  
  99f0c962
- fix cites, move greenman-felleisen to discussion · b3e57367
  Max New authored 6 years ago
  
  b3e57367
- back to short · bc3689d7
  Dan Licata authored 6 years ago
  
  bc3689d7
- make long compile · f2d1aaeb
  Dan Licata authored 6 years ago
  
  f2d1aaeb
- made it fit, long version may be broken, will fix in a bit · 47373fb1
  Dan Licata authored 6 years ago
  
  47373fb1
- some edits, and space squeezing · 081d04ec
  Amal Ahmed authored 6 years ago
  
  081d04ec
Jul 10, 2018
- sec 7 · 043bf8b4
  Dan Licata authored 6 years ago
  
  043bf8b4