[Git][monnier/typer][soilih] completion from buffer
by Soilihi BEN SOILIHI BOINA (@BenSoilih) 18 Aoû '21
by Soilihi BEN SOILIHI BOINA (@BenSoilih) 18 Aoû '21
18 Aoû '21
1
0
[Git][monnier/typer][master] * src/elab.ml (elaborate): `check_inferred` when a type is given.
by Stefan (@monnier) 17 Aoû '21
by Stefan (@monnier) 17 Aoû '21
17 Aoû '21
1
0
1
0
[Git][monnier/typer][soilih] fixing context errors
by Soilihi BEN SOILIHI BOINA (@BenSoilih) 16 Aoû '21
by Soilihi BEN SOILIHI BOINA (@BenSoilih) 16 Aoû '21
16 Aoû '21
1
0
13 Aoû '21
1
0
[Git][monnier/typer] Pushed new branch check_inferred-more
by Jean-Alexandre Barszcz (@jabarszcz) 10 Aoû '21
by Jean-Alexandre Barszcz (@jabarszcz) 10 Aoû '21
10 Aoû '21
1
0