felix.git/source/Syntax/Token.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T07:46:55+00:00Ignore commented source environments2026-08-03T07:46:55+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T07:46:55+00:00urn:sha1:93f4188de22c2c88d6c7e42422461cf353c78b99Accept empty source modules2026-07-30T18:16:34+00:00adelon22380201+adelon@users.noreply.github.com2026-07-30T18:16:34+00:00urn:sha1:d6e2ad4a82df6634dcf42bca50ab2fecba5dc57bMake parsed syntax deeply evaluable2026-07-28T06:50:56+00:00adelon22380201+adelon@users.noreply.github.com2026-07-28T06:50:56+00:00urn:sha1:48296f3022646d4e3ab2f7c32353a1ea4a67cfcfValidate packed source positions during lexing2026-07-28T00:42:24+00:00adelon22380201+adelon@users.noreply.github.com2026-07-28T00:42:24+00:00urn:sha1:c545b4dbba91962dc576b0c66a7728330cb27075Load selected sources as strict UTF-82026-07-27T13:03:30+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T01:19:11+00:00urn:sha1:d4c07b17ce39649e070948821bd24220cda8881cMake lexer more robust2026-04-11T23:43:00+00:00adelon22380201+adelon@users.noreply.github.com2026-04-11T23:43:00+00:00urn:sha1:7ddb48676239755f9057c8221f80edc1a35531eeImprove variable rendering2026-03-07T02:32:55+00:00adelon22380201+adelon@users.noreply.github.com2026-03-07T02:32:55+00:00urn:sha1:444d670044fa6d296e01cb2d98b013676da5cac0Allow ticks in subscript of vars2026-02-17T16:35:48+00:00adelon22380201+adelon@users.noreply.github.com2026-02-17T16:35:48+00:00urn:sha1:3cfe46c9912c2a1835a5080b5e8abab8448fdc10
This also changes the encoding of the ticks in TPTP to just an underscore.
Use packed representation for `Location`2026-02-13T14:40:32+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T14:40:32+00:00urn:sha1:f3ccb3319591572211da37dfe1bebf838a225429Propagate location info further2025-12-09T22:20:55+00:00adelon22380201+adelon@users.noreply.github.com2025-12-09T22:20:55+00:00urn:sha1:2975712d575c28d4820e379e55609960a71dcd1d