Commit 6302566

committed

chore: update stage0

1 parent ab5e43a commit 6302566Copy full SHA for 6302566

34 files changed

+3366

-3366

lines changed

stage0/stdlib
- Init
  - Data
    - Random.c
    - String
      - Basic.c
  - Meta.c
- Lean
  - Class.c
  - Compiler
    - ExternAttr.c
    - IR
      - ElimDeadBranches.c
  - Data
    - Parsec.c
    - Xml
      - Parser.c
  - Elab
    - App.c
    - Binders.c
    - Do.c
    - Frontend.c
    - Match.c
    - Quotation.c
    - StructInst.c
    - Syntax.c
    - SyntheticMVars.c
    - Tactic
      - Basic.c
    - Term.c
    - Util.c
  - Hygiene.c
  - Meta
    - Basic.c
    - Check.c
    - ExprDefEq.c
    - GetConst.c
    - LevelDefEq.c
    - Match
      - Match.c
    - RecursorInfo.c
    - SynthInstance.c
    - Tactic/Simp
      - SimpLemmas.c
    - WHNF.c
  - Server
    - FileWorker
      - RequestHandling.c
      - WidgetRequests.c
    - References.c

34 files changed

+3366

-3366

lines changed

`‎stage0/stdlib/Init/Data/Random.c`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

`‎stage0/stdlib/Init/Data/String/Basic.c`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)