Mike Austin
11/02/2023, 7:37 PMMike Austin
11/02/2023, 7:40 PMKartik Agaram
Mike Austin
11/02/2023, 8:17 PMEli Mellen
11/03/2023, 1:46 PMEli Mellen
11/03/2023, 1:47 PMMike Austin
11/03/2023, 4:33 PMNumericLiteral // >
= value:[0-9]+ {
return {
type: 'NumericLiteral', // +
value: Number(text()) // +
};
}
GitHub Markdown support adding + and - to the beginning of the line, but I want to be able to support other hints, maybe tooltips for example.Eli Mellen
11/03/2023, 4:38 PMMike Austin
11/03/2023, 4:43 PMSteve Dekorte
11/03/2023, 9:22 PMMike Austin
11/04/2023, 4:22 AM