Commits · d110a3898dd5f9a38fec2c63fb12fa242e96b531 · gradual-typing / sgdt

Jul 12, 2018
- proofread long · d110a389
  Dan Licata authored 6 years ago
  
  d110a389
Jul 11, 2018
- some edits, and space squeezing · 081d04ec
  Amal Ahmed authored 6 years ago
  
  081d04ec
Jul 09, 2018
- abstract · 34224a0c
  Dan Licata authored 6 years ago
  
  34224a0c
Jul 05, 2018
- todo in abstract about logical relation · 793a438e
  Amal Ahmed authored 6 years ago
  
  793a438e
- switched to short version; minor edits · 33d34dff
  Amal Ahmed authored 6 years ago
  
  33d34dff
- switched to short version; minor edits · 2c0d9c67
  Amal Ahmed authored 6 years ago
  
  2c0d9c67
Jun 29, 2018
- more abstract edits · 08326a3a
  Amal Ahmed authored 6 years ago
  
  08326a3a
- abstract edits · 97550d25
  Amal Ahmed authored 6 years ago
  
  97550d25