EagleoutIce/latex-lambda-calculus-visualizer

Issues

• more colors locked like lightgray?

  #122 opened 2 years ago by github-actions
  0

• maybe use simpler-wick to mark connected stuff?

  #121 opened 2 years ago by github-actions
  0

• Allow to easily update rewrite strut

  #119 opened 2 years ago by EagleoutIce
  0

• integrate this correctly

  #110 opened 2 years ago by github-actions
  0

• Allow to offset colorcycle in rewrite

  #116 opened 2 years ago by EagleoutIce
  0

• Allow dedicated linebreaks and control scopes (works if ranges are disabled)

  #113 opened 2 years ago by EagleoutIce
  0

• Speed up if multiple on same slide

  #112 opened 2 years ago by EagleoutIce
  0

• Custom ranges with | | e.g. do mark the next reduce op etc.

  #111 opened 2 years ago by EagleoutIce
  0

• Reducers, just "below"

  #108 opened 2 years ago by EagleoutIce
  0

• Incorrect lambda abstractions as stack is not popped at the end of rewrite rules (fake brackets for them)

  #106 opened 2 years ago by EagleoutIce
  1

• Greens too similar

  #104 opened 2 years ago by EagleoutIce
  0

• Support for in-place rewrite rule style

  #102 opened 2 years ago by EagleoutIce
  0

• Allow to perform alpha-conv in rewrite rules

  #101 opened 2 years ago by EagleoutIce
  0

• Automatically perform substitutions

  #100 opened 2 years ago by EagleoutIce
  0

• bracket/lambda range highlighter within rewrite rules (i.e. like closing brace)

  #99 opened 2 years ago by github-actions
  0

• dots for all lambdas create wrong anchors

  #97 opened 2 years ago by EagleoutIce
  0

• Strut rewriting rules so that they have the same heights

  #95 opened 2 years ago by EagleoutIce
  0

• clean that up

  #94 opened 2 years ago by github-actions
  0

• variant of \\{.,.} that still places a \lambda before each

  #92 opened 2 years ago by github-actions
  0

• lambda vis intent resets within nestings

  #91 opened 2 years ago by github-actions
  0

• Consistent Spacing for Rewriting rules (inner)

  #61 opened 2 years ago by EagleoutIce
  0

• Glowy Symbols with approx same colors as their backlight

  #60 opened 2 years ago by EagleoutIce
  0

• allow to disable default rewrite rules

  #67 opened 2 years ago by github-actions
  0

• option to only expand until level X so that it does not automatically expand wit...

  #73 opened 2 years ago by github-actions
  0

• allow something like this but with macro expansion so that \num{3} automatically...

  #72 opened 2 years ago by github-actions
  0

• new style for starred variant (just the lightgray background node without the bo...

  #66 opened 2 years ago by github-actions
  0

• re-use colors?

  #84 opened 2 years ago by github-actions
  1

• colors?

  #82 opened 2 years ago by github-actions
  1

• color brackets/larger to match

  #81 opened 2 years ago by github-actions
  1

• highlight Y combinator

  #80 opened 2 years ago by github-actions
  2

• replacements like \cons

  #83 opened 2 years ago by github-actions
  0

• find others to reset

  #79 opened 2 years ago by github-actions
  0

• update so wie can limit nesting depths of drawings too (similar to lcMaximumPare...

  #78 opened 2 years ago by github-actions
  0

• disable this in a nested so that brackets are not incorrectly visualized

  #65 opened 2 years ago by github-actions
  0

• allow to insert unicode breaks

  #76 opened 2 years ago by github-actions
  0

• lualatex allow lambda unicode symbol

  #75 opened 2 years ago by github-actions
  0

• beamer animation support

  #74 opened 2 years ago by github-actions
  0

• find a way so they do not disturb latex

  #71 opened 2 years ago by github-actions
  0

• simple variant that uses the name for the command sequence as well?

  #70 opened 2 years ago by github-actions
  0

• find a way so they do not disturb tikz

  #69 opened 2 years ago by github-actions
  0

• allow aliasses for rewrite rules (ite for ifelse)

  #68 opened 2 years ago by github-actions
  0

• Several default rewriting rules

  #63 opened 2 years ago by EagleoutIce
  0

• `\mark` should use subnode if inside tikz, not tikzmarknode?

  #55 opened 2 years ago by EagleoutIce
  0

• allow to disable lineStrut

  #57 opened 2 years ago by github-actions
  0

• make this customizable (e.g., disable)

  #53 opened 2 years ago by github-actions
  0

• use tikzmark do directly link the node?

  #49 opened 2 years ago by github-actions
  0

• Improve reduce line drawing

  #51 opened 2 years ago by EagleoutIce
  0

• allow optional arguments for mark for them too

  #48 opened 2 years ago by github-actions
  0

• replace xargs by manual construction!

  #47 opened 2 years ago by github-actions
  0

• make packages optional?

  #46 opened 2 years ago by github-actions
  0