- 27 Jan, 2023 1 commit
-
-
SCHERER Gabriel authored
Add a notion of type equality in the client See merge request !44
-
- 26 Jan, 2023 15 commits
-
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
These comments should appear in F.mli too, but I'm waiting for feedbacks before I copy-paste them.
-
MARTINOT Olivier authored
The term Refl is a proof of a type equality TyEq(ty1,ty2) and Use is a construct that introduce a type equality in the typing context.
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
This will be useful when we translate System F terms to graphs (a "structure" node of the graph will be represented by a Structure.structure).
-
MARTINOT Olivier authored
-
MARTINOT Olivier authored
-
- 26 Dec, 2022 13 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
-
-
-
-
- 22 Nov, 2022 2 commits
-
-
SCHERER Gabriel authored
Compact syntax for repeated abstractions and type abstractions. See merge request !45
-
MARTINOT Olivier authored
-
- 03 Jun, 2022 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
Fix a bug (incorrect assumption when using [letr1] in the client). See merge request !43
-
- 19 May, 2022 1 commit
-
-
MARTINOT Olivier authored
-
- 08 Apr, 2022 6 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-