felix.git/source/Megalodon.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-07-27T16:19:29+00:00 Remove Megalodon 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T02:43:33+00:00 urn:sha1:829beab59eb793dda5dee8c40d57b29973fbbc5f Clean warnings, drop lexicon from Megalodon export 2026-02-06T16:30:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-06T16:30:14+00:00 urn:sha1:3274c79b740563b80acc1ad775eb0bfb225acd8a Remove `lookupLexicalItem`, attach info in AST instead 2026-02-05T18:50:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T18:50:34+00:00 urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c Remove `lookupOp` and add marker to AST instead 2026-02-05T17:01:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T17:01:54+00:00 urn:sha1:6d9c4d9db7adcee4f7344e197163d7ae146fe72f Use `Map` over `HashMap` 2026-02-05T01:27:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T01:27:11+00:00 urn:sha1:6a6878cf7eddb5d8cd3f64a20de4e7ac0d0baa76 Optimize data structure used for translation 2026-02-04T23:48:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-04T23:48:12+00:00 urn:sha1:fdf5da8109401ba8ee2fb6d107300f41f48877e9 Splits mixfix data in lexicon into two data structures: a precedence table used for the parser and a mapping from symbols to markers used for the TPTP export. Add location info to implicit QED step 2025-12-16T16:10:31+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-16T16:10:31+00:00 urn:sha1:ed546f3ce3d7c4e5840387beb2d89c8da05378ea Propagate location info further 2025-12-09T22:20:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-09T22:20:55+00:00 urn:sha1:2975712d575c28d4820e379e55609960a71dcd1d Remove Iota from internal syntax 2025-12-04T12:58:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-04T12:58:47+00:00 urn:sha1:8257bc9d5c6fc021c12a54539170d04237243281 Update for newer text-builder 2025-11-28T00:29:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-28T00:29:18+00:00 urn:sha1:1ba5ddf3dd858d752d8bead74d57f6bd5694bfdc