-
- Downloads
No related branches found
No related tags found
Showing
- checker/checkInductive.ml 3 additions, 2 deletionschecker/checkInductive.ml
- checker/checker.ml 3 additions, 1 deletionchecker/checker.ml
- checker/mod_checking.ml 1 addition, 1 deletionchecker/mod_checking.ml
- checker/values.ml 12 additions, 6 deletionschecker/values.ml
- dev/bench/bench.sh 2 additions, 2 deletionsdev/bench/bench.sh
- dev/ci/user-overlays/17836-SkySkimmer-sort-poly.sh 33 additions, 0 deletionsdev/ci/user-overlays/17836-SkySkimmer-sort-poly.sh
- dev/doc/changes.md 1 addition, 1 deletiondev/doc/changes.md
- dev/doc/universes.md 2 additions, 2 deletionsdev/doc/universes.md
- dev/include_printers 1 addition, 0 deletionsdev/include_printers
- dev/top_printers.dbg 1 addition, 0 deletionsdev/top_printers.dbg
- dev/top_printers.ml 32 additions, 15 deletionsdev/top_printers.ml
- dev/top_printers.mli 5 additions, 4 deletionsdev/top_printers.mli
- doc/changelog/01-kernel/17836-sort-poly.rst 5 additions, 0 deletionsdoc/changelog/01-kernel/17836-sort-poly.rst
- doc/sphinx/addendum/universe-polymorphism.rst 68 additions, 4 deletionsdoc/sphinx/addendum/universe-polymorphism.rst
- doc/sphinx/language/core/sorts.rst 21 additions, 22 deletionsdoc/sphinx/language/core/sorts.rst
- doc/tools/docgram/common.edit_mlg 13 additions, 4 deletionsdoc/tools/docgram/common.edit_mlg
- doc/tools/docgram/fullGrammar 13 additions, 4 deletionsdoc/tools/docgram/fullGrammar
- doc/tools/docgram/orderedGrammar 11 additions, 5 deletionsdoc/tools/docgram/orderedGrammar
- engine/eConstr.ml 74 additions, 39 deletionsengine/eConstr.ml
- engine/eConstr.mli 14 additions, 12 deletionsengine/eConstr.mli
Loading
Please register or sign in to comment