Commits · ebe7623fa76d298773ad242af603722d89c1df0a · gradual-typing / sgdt

May 08, 2018
- reorg notes · b404ff0d
  Max New authored 6 years ago
  
  b404ff0d
May 04, 2018
- start GTT · 2ac80113
  Max New authored 6 years ago
  
  2ac80113
- some comments on the general picture · 2db04def
  Max New authored 6 years ago
  
  2db04def
May 03, 2018
- when an F meets a U · 294b2fcb
  Max New authored 6 years ago
  
  294b2fcb
Apr 29, 2018
- note that the enriched effect calculus types don't seem to work · 394aea9c
  Max New authored 6 years ago
  
  394aea9c
Apr 28, 2018
- more stoupify, multiplicatives and a bit more about models · 0f96c5b1
  Max New authored 6 years ago
  
  0f96c5b1
Apr 25, 2018
- add description of additives · bbc27e35
  Max New authored 6 years ago
  
  bbc27e35
- correct impl of function upcast I think · b6325554
  Max New authored 6 years ago
  
  b6325554
- make upcasts uparrows, dncast down, add model stuff, start function types · 1a8ea286
  Max New authored 6 years ago
  
  1a8ea286
Apr 20, 2018
- add F, U types, prove that they "preserve" upcasts, downcasts resp. · 10deb9d3
  Max New authored 6 years ago
  
  10deb9d3
Apr 17, 2018
- judgmental structure and casts for gradual call by push value · e6082718
  Max New authored 6 years ago
  
  e6082718