yang-zhu/capybara

Issues

• the computation of x-coordinate of a node doesn't take its y-coordinate into account

  #15 opened 3 years ago
  0

• the page jumps up and down, when the graph area is too small to contain all graphs

  #14 opened 3 years ago
  1

• the parser backtracks too much when an error is encountered

  #13 opened 3 years ago
  0

• When the names of the definitions get too long, the nodes may start to overlap

  #12 opened 3 years ago
  0

• more informative error message

  #11 opened 3 years ago
  0

• syntax error in definitions is shown under the expression input box

  #10 opened 3 years ago
  0

• the UI crashes for diverging expressions

  #9 opened 3 years ago
  0

• use lenses

  #8 opened 3 years ago
  0

• improve graph layout

  #7 opened 3 years ago
  0

• graph not centered, big graphs don't work

  #6 opened 3 years ago
  0

• the parser accepts unprocessed tokens in the end

  #5 opened 3 years ago
  0

• highlight the redex in the graph

  #4 opened 3 years ago
  0

• rename free variables vs. rename bound variables

  #3 opened 3 years ago
  0

• call-by-name and call-by-value evaluation strategies

  #2 opened 3 years ago
  0

• Is Reader Monad strict?

  #1 opened 3 years ago
  1