Commits · 52e1cfd98ca51e1b9e960765498cc4205dff9a06 · Giuseppe Castagna / occurrence-typing

23 Sep, 2021 6 commits
- typo · 52e1cfd9
  Giuseppe Castagna authored Sep 23, 2021
  
  52e1cfd9
- typo · 9ac0c7f0
  Giuseppe Castagna authored Sep 23, 2021
  
  9ac0c7f0
- more revsion · 48fbf168
  Giuseppe Castagna authored Sep 23, 2021
  
  48fbf168
- typo · bc1057f4
  Giuseppe Castagna authored Sep 23, 2021
  
  bc1057f4
- last example of TH · e32ec641
  Giuseppe Castagna authored Sep 23, 2021
  
  e32ec641
- added example for Kent work · a13c7518
  Giuseppe Castagna authored Sep 23, 2021
  
  a13c7518
22 Sep, 2021 9 commits
- more · 978f3f6d
  Giuseppe Castagna authored Sep 22, 2021
  
  978f3f6d
- more · bfad3b89
  Giuseppe Castagna authored Sep 22, 2021
  
  bfad3b89
- more comments · 32d96eb6
  Giuseppe Castagna authored Sep 22, 2021
  
  32d96eb6
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · fbeade39
  Giuseppe Castagna authored Sep 22, 2021
  
  fbeade39
- more review · 82fcb58e
  Giuseppe Castagna authored Sep 22, 2021
  
  82fcb58e
- Fix stray \ · b310bf32
  Kim Nguyễn authored Sep 22, 2021
  
  b310bf32
- Added related work on refinement types. · 9c36ae63
  Kim Nguyễn authored Sep 22, 2021
  
  9c36ae63
- more revision · 1a82d3f4
  Giuseppe Castagna authored Sep 22, 2021
  
  1a82d3f4
- more on revision · 1ea39487
  Giuseppe Castagna authored Sep 22, 2021
  
  1ea39487
21 Sep, 2021 5 commits
- more on related · c8f29f22
  Giuseppe Castagna authored Sep 21, 2021
  
  c8f29f22
- make it compile · f09a4c60
  Mickael Laurent authored Sep 21, 2021
  
  f09a4c60
- added comments in tex format · 665202ce
  Giuseppe Castagna authored Sep 21, 2021
  
  665202ce
- more on review · 26c97a4a
  Giuseppe Castagna authored Sep 21, 2021
  
  26c97a4a
- Added comparison with Kent · a598941f
  Giuseppe Castagna authored Sep 21, 2021
  
  a598941f
20 Sep, 2021 5 commits
- more work on the revision · e16176c4
  Giuseppe Castagna authored Sep 20, 2021
  
  e16176c4
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · d634fb90
  Giuseppe Castagna authored Sep 20, 2021
  
  d634fb90
- typo · a0700894
  Giuseppe Castagna authored Sep 20, 2021
  
  a0700894
- more comments · 63faa569
  Giuseppe Castagna authored Sep 20, 2021
  
  63faa569
- added remarks · 7636ad0d
  Giuseppe Castagna authored Sep 20, 2021
  
  7636ad0d
17 Sep, 2021 2 commits
- typo · a2dadc10
  Mickael Laurent authored Sep 17, 2021
  
  a2dadc10
- comparison with a kent · e0458e4b
  Mickael Laurent authored Sep 17, 2021
  
  e0458e4b
15 Sep, 2021 8 commits
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 10af280e
  Giuseppe Castagna authored Sep 15, 2021
  
  10af280e
- added ack · ab90d60c
  Giuseppe Castagna authored Sep 15, 2021
  
  ab90d60c
- comparison of worra + interdependent tests · 16053185
  Mickael Laurent authored Sep 15, 2021
  
  16053185
- typeos · af6e96dc
  Giuseppe Castagna authored Sep 15, 2021
  
  af6e96dc
- more revisions · ddf58338
  Giuseppe Castagna authored Sep 15, 2021
  
  ddf58338
- more revision · 4e306958
  Giuseppe Castagna authored Sep 15, 2021
  
  4e306958
- added THF papers · b0cbf924
  Giuseppe Castagna authored Sep 15, 2021
  
  b0cbf924
- first pass on revision · 80e5c250
  Giuseppe Castagna authored Sep 15, 2021
  
  80e5c250
14 Sep, 2021 5 commits
- changed quotation · 06fe433e
  Giuseppe Castagna authored Sep 14, 2021
  
  06fe433e
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 32956845
  Giuseppe Castagna authored Sep 14, 2021
  
  32956845
- added \rev{} · ddb5f06b
  Giuseppe Castagna authored Sep 14, 2021
  
  ddb5f06b
- added comments · 6c173361
  Giuseppe Castagna authored Sep 14, 2021
  
  6c173361
- added reviews scp · 5faf9559
  Giuseppe Castagna authored Sep 14, 2021
  
  5faf9559