Add missing Lem keywords from the Lem lexer#374

Merged

bacam merged 1 commit intorems-project:sail2from bacam:more_lem_keywords

Nov 20, 2023

+8-3

Commits on Nov 20, 2023

Add missing Lem keywords from the Lem lexer
bacam
committed