Commits · d8baabf6afc9f03a1f4851ee0cb7b9913b2c4eed · gradual-typing / sgdt

Jan 27, 2024
- more squeezing · b70f226a
  Eric Giovannini authored 1 year ago
  
  b70f226a
- squeeze some space · 25ffe81a
  Max New authored 1 year ago
  
  25ffe81a
- editing · 33eaef71
  Eric Giovannini authored 1 year ago
  
  33eaef71
- work on proof of adequacy and move it to concrete model; work on dyn in concrete model · f4965139
  Eric Giovannini authored 1 year ago
  
  f4965139
- update some definitions in the abstract model · 8c5bad93
  Eric Giovannini authored 1 year ago
  
  8c5bad93
Jan 26, 2024
- errors in the extensional model · 08fd586c
  Max New authored 1 year ago
  
  08fd586c
- more syntax and sketch semantics in extensional model · 093a24a7
  Max New authored 1 year ago
  
  093a24a7
- updates mostly to extensional model · c17818b1
  Max New authored 1 year ago
  
  c17818b1
- changes to categorical model · c12408c0
  Eric Giovannini authored 1 year ago
  
  c12408c0
Jan 25, 2024
- strict and lax homomorphisms of CBPV models · dde398d2
  Max New authored 1 year ago
  
  dde398d2
Jan 24, 2024
- mostly writing updates · cd198c98
  Max New authored 1 year ago
  
  cd198c98
- updates to abstract categorical model section · d465e2a6
  Eric Giovannini authored 1 year ago
  
  d465e2a6
Jan 23, 2024
- sketchy stuff in the appendix on syntax and update to the extensional model · ff16d612
  Max New authored 1 year ago
  
  ff16d612
Jan 19, 2024
- work on abstract model constructions · aa3a1c79
  Eric Giovannini authored 1 year ago
  
  aa3a1c79
- update definition of abstract model · 6f4e6e61
  Eric Giovannini authored 1 year ago
  
  6f4e6e61
Jan 18, 2024
- begin discussion of abstract model constructions · e4c07041
  Eric Giovannini authored 1 year ago
  
  e4c07041
Jan 13, 2024
- work on section on abstract categorical models · 2c142600
  Eric Giovannini authored 1 year ago
  
  2c142600
Dec 09, 2023
- more work on abstract categorical model · f3f8a389
  Eric Giovannini authored 1 year ago
  
  f3f8a389
Nov 29, 2023
- work on abstract categorical model · cf86400a
  Max New authored 1 year ago
  
  cf86400a