Search results

TFF parser needs to be cleaned up

Status: Open.

#28 In FMFI-UK-1-AIN-412/js-fol-parser;

· crnkjck opened on Feb 27, 2023

Infer non-logical symbol kind from context

Status: Open.

#16 In FMFI-UK-1-AIN-412/js-fol-parser;

· crnkjck opened on May 2, 2022

Parse infix expressions

Status: Open.

#15 In FMFI-UK-1-AIN-412/js-fol-parser;

· crnkjck opened on May 2, 2022

Use unicode character/property classes

Status: Open.

#14 In FMFI-UK-1-AIN-412/js-fol-parser;

· crnkjck opened on May 2, 2022

Switch to Peggy

Status: Open.

#13 In FMFI-UK-1-AIN-412/js-fol-parser;

· crnkjck opened on May 2, 2022