Commits · 279f6c7e936fed084d9107397154aaf394ccfad0 · gradual-typing / sgdt

Jan 31, 2020
- finish updates on sec 3 (biggest changes) · 147eb927
  Max New authored 5 years ago
  
  147eb927
Jan 30, 2020
- checkin · 5c056c65
  Max New authored 5 years ago
  
  5c056c65
Jan 08, 2020
- more proofs, including function cast reduction step · e2ac53c8
  Max New authored 5 years ago
  
  e2ac53c8
- cbv syntax, op semantics, translation · 257556f0
  Max New authored 5 years ago
  
  257556f0
Jan 07, 2020
- migrate to jfp-paper/jfp-gtt.tex · cbd0cdd1
  Max New authored 5 years ago
  
  cbd0cdd1
Jan 06, 2020
- include defs! · b0840d3e
  Max New authored 5 years ago
  
  b0840d3e