Code

feat: visualize latex document#406

Code

Merged

xiyuzhai merged 17 commits intoxiyuzhai-husky-lang:mainxiyuzhai-husky-lang/husky:mainfrom xiyuzhai:mainxiyuzhai/husky:mainCopy head branch name to clipboardNov 30, 2024

+3,793-310

Commits

Commits on Nov 28, 2024

• add source map to vd mir stmts

  xiyuzhai

  committed
  6d6fe0e

  Copy full SHA for 6d6fe0e

• add source map to vd to lean transpilation

  xiyuzhai

  committed
  2581a9f

  Copy full SHA for 2581a9f

• add latex source as comments to lean transpilation

  xiyuzhai

  committed
  b0e94d6

  Copy full SHA for b0e94d6

• save

  xiyuzhai

  committed
  6289cb7

  Copy full SHA for 6289cb7

• towards latex-ast-hsy

  xiyuzhai

  committed
  fe66267

  Copy full SHA for fe66267

• new start: latex ast!

  xiyuzhai

  committed
  6f5d866

  Copy full SHA for 6f5d866

• impl latex-ast-hsy

  xiyuzhai

  committed
  58c846d

  Copy full SHA for 58c846d

Commits on Nov 29, 2024

• save

  xiyuzhai

  committed
  f109792

  Copy full SHA for f109792

• save

  xiyuzhai

  committed
  cecc1c9

  Copy full SHA for cecc1c9

• impl first_ast and asts_over_tokens

  xiyuzhai

  committed
  86be5df

  Copy full SHA for 86be5df

• save

  xiyuzhai

  committed
  825563c

  Copy full SHA for 825563c

• Merge branch 'xiyuzhai-husky-lang:main' into main

  xiyuzhai

  authored
  11ec065

  Copy full SHA for 11ec065

• save

  xiyuzhai

  committed
  91b1d24

  Copy full SHA for 91b1d24

• Merge remote-tracking branch 'refs/remotes/origin/main'

  xiyuzhai

  committed
  e967ff0

  Copy full SHA for e967ff0

• save

  xiyuzhai

  committed
  ea3aa5b

  Copy full SHA for ea3aa5b

• rename

  xiyuzhai

  committed
  eb54118

  Copy full SHA for eb54118

Commits on Nov 30, 2024

• feat: visualize latex

  xiyuzhai

  committed
  669ad67

  Copy full SHA for 669ad67