Commits · 28-add-universe-polymorphism-3 · loutr / Proost

Dec 24, 2022
- fix(proost): added Define command back (need to distinguish between the two in... · 99dcd6d7
  loutr authored 2 years ago
```
fix(proost): added Define command back (need to distinguish between the two in order to bind and reuse correctly later
```
  99dcd6d7
- chore(kernel, calculus/level): adapt documentation to new type · 49339dd5
  loutr authored 2 years ago
  
  49339dd5
- chore(level): Add specific enum to handle comparison state · d20b8936
  v-lafeychine authored 2 years ago
  
  d20b8936
Dec 23, 2022
- chore(kernel): c-o-v-e-r-a-g-e · 546538b3
  arthur-adjedj authored 2 years ago
  
  546538b3
- chore(parser): remove TODO · 790da606
  arthur-adjedj authored 2 years ago
  
  790da606
- chore(parser): more coverage · 1dbd3aff
  arthur-adjedj authored 2 years ago
  
  1dbd3aff
- fix(kernel): trailing comma when printing `InstantiatedDeclaration`s · a3ac1175
  arthur-adjedj authored 2 years ago
  
  a3ac1175
- fix(kernel): chiale + aboie, coverage · aa500d66
  arthur-adjedj authored 2 years ago
  
  aa500d66
Dec 22, 2022
- chore(kernel): mention #14 · 3f616059
  arthur-adjedj authored 2 years ago
  
  3f616059
- chore(kernel): yet another test · ab9caabe
  arthur-adjedj authored 2 years ago
  
  ab9caabe
- chore(kernel): always more coverage · 8a220340
  arthur-adjedj authored 2 years ago
  
  8a220340
- chore(parser): add issue nb to todo · ec10d9ca
  arthur-adjedj authored 2 years ago
  
  ec10d9ca
- fix(kernel): avoid reentrant entry bug when infering type of decls with 0 universe arguments · ed5efc90
  arthur-adjedj authored 2 years ago
  
  ed5efc90
- fix(parser): revert comit, wtf clippy ? · 855f2349
  arthur-adjedj authored 2 years ago
  
  855f2349
- chore(parser): remove unused branch · 92d6549c
  arthur-adjedj authored 2 years ago
  
  92d6549c
- chore(kernel): another test · 5d62b361
  arthur-adjedj authored 2 years ago
  
  5d62b361
- Apply 1 suggestion(s) to 1 file(s) · ef07d499
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  ef07d499
- fix(kernel): remove dangerous function · 69628aff
  arthur-adjedj authored 2 years ago
  
  69628aff
- chore(kernel): always more coverage · ba5ce36c
  arthur-adjedj authored 2 years ago
  
  ba5ce36c
- feat(parser): remove `Define` command · 7a98e14e
  arthur-adjedj authored 2 years ago
  
  7a98e14e
- fix(kernel): interface checking for decls · 5cbfed19
  arthur-adjedj authored 2 years ago
  
  5cbfed19
- Apply 1 suggestion(s) to 1 file(s) · f69286e6
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  f69286e6
- chore(kernel): add coverage · d8855380
  arthur-adjedj authored 2 years ago
  
  d8855380
- Apply 1 suggestion(s) to 1 file(s) · 59665a7b
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  59665a7b
- Apply 1 suggestion(s) to 1 file(s) · 6e228992
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  6e228992
- Apply 1 suggestion(s) to 1 file(s) · 96a2ee71
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  96a2ee71
- Apply 1 suggestion(s) to 1 file(s) · d7037b23
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  d7037b23
- Apply 1 suggestion(s) to 1 file(s) · f9317d2e
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  f9317d2e
- chore(kernel): coverage · 87a90c8e
  arthur-adjedj authored 2 years ago
  
  87a90c8e
- Apply 1 suggestion(s) to 1 file(s) · ede87f57
  v-lafeychine authored 2 years ago
  
  ede87f57
- fix(kernel): over-agressive normalization · c9c792b7
  arthur-adjedj authored 2 years ago
  
  c9c792b7
- Apply 1 suggestion(s) to 1 file(s) · d34734e5
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  d34734e5
- Apply 1 suggestion(s) to 1 file(s) · 1783e292
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  1783e292
- Apply 1 suggestion(s) to 1 file(s) · a10aaf0f
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  a10aaf0f
- Apply 1 suggestion(s) to 1 file(s) · 3a28becb
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  3a28becb
- Apply 1 suggestion(s) to 1 file(s) · d9990ca2
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  d9990ca2
- Apply 1 suggestion(s) to 1 file(s) · 232c979f
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  232c979f
- Apply 1 suggestion(s) to 1 file(s) · a639fd6c
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  a639fd6c
- Apply 1 suggestion(s) to 1 file(s) · abd5316f
  v-lafeychine authored 2 years ago and belazy committed 2 years ago
  
  abd5316f
- fix(parser): avoid spacing befor univ decls/vars · 63a09f1a
  arthur-adjedj authored 2 years ago
  
  63a09f1a