Search results

Expand PrettyFormatter to highlight keywords

terminalWork on the terminal itselfWork on the terminal itself

Status: Open.

#31 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand Autocompletion to new expressions of the grammar

terminalWork on the terminal itselfWork on the terminal itself

Status: Open.

#30 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand evaluation of expressions for applicative language

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#29 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand RedicesVisitor to work with new types of TreeNodes

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#28 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand SubstituteVisitor to work with new types of TreeNodes

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#27 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand BoundVarVisitor to work with new types of TreeNodes

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#26 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

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

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#25 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

Expand FreeVarVisitor to work with new types of TreeNodes

logicWork on logic of expressions manipulationWork on logic of expressions manipulation

Status: Open.

#24 In jmansilla/lamedh;

· jmansilla opened on Jun 22, 2024

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

terminalWork on the terminal itselfWork on the terminal itself

Status: Open.

#20 In jmansilla/lamedh;

· jmansilla opened on Jun 21, 2024

Project does not work on Windows due to <code>readline</code> dependency

Status: Open.

#14 In jmansilla/lamedh;

· akielbowicz opened on Jun 21, 2024

Prelude files needs to be installed

Status: Open.

#11 In jmansilla/lamedh;

· jmansilla opened on May 29, 2024

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

Status: Open.

#9 In jmansilla/lamedh;

· jmansilla opened on May 23, 2024