Search results

Refactor parser and lexer logic into new src/parser library

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

Adjust lexer and parser for macro system, Unicode, and simplicity

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

Implement new keyword-based syntax system

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

Remove usage of reserved syntax throughout core and docs

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

Update language syntax to remove reserved symbols and refine macros

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

Replace all instances of 'Twelf' with 'Stelf' (correct capitalization)

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

·  

Core functionality

Ensure testing infrastructure works reliably and provides readable output

Status: Open.

#3 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026

·  

Core functionality

Port repository documentation to odoc style syntax and ensure full coverage

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#2 In wizard7377/stelf;

· wizard7377 opened on Mar 16, 2026