Issues

• Expand PrettyFormatter to highlight keywords

  terminal
  jmansilla/lamedh#31 · Filter by author jmansilla opened on Jun 22, 2024

• Expand Autocompletion to new expressions of the grammar

  terminal
  jmansilla/lamedh#30 · Filter by author jmansilla opened on Jun 22, 2024

• Expand evaluation of expressions for applicative language

  logic
  jmansilla/lamedh#29 · Filter by author jmansilla opened on Jun 22, 2024

• Expand RedicesVisitor to work with new types of TreeNodes

  logic
  jmansilla/lamedh#28 · Filter by author jmansilla opened on Jun 22, 2024

• Expand SubstituteVisitor to work with new types of TreeNodes

  logic
  jmansilla/lamedh#27 · Filter by author jmansilla opened on Jun 22, 2024

• Expand BoundVarVisitor to work with new types of TreeNodes

  logic
  jmansilla/lamedh#26 · Filter by author jmansilla opened on Jun 22, 2024

• Adapt "is_canonical" method to contemplate several formats of canonical expressions

  logic
  jmansilla/lamedh#25 · Filter by author jmansilla opened on Jun 22, 2024

• Expand FreeVarVisitor to work with new types of TreeNodes

  logic
  jmansilla/lamedh#24 · Filter by author jmansilla opened on Jun 22, 2024

• Add to terminal new Operation for showing free variables of an expression

  terminal
  jmansilla/lamedh#20 · Filter by author jmansilla opened on Jun 21, 2024

• Project does not work on Windows due to readline dependency

  jmansilla/lamedh#14 · Filter by author akielbowicz opened on Jun 21, 2024
  1

• Prelude files needs to be installed

  jmansilla/lamedh#11 · Filter by author jmansilla opened on May 29, 2024

• Make formatter to print names in memory instead of entire expression (when possible)

  jmansilla/lamedh#9 · Filter by author jmansilla opened on May 23, 2024