HEL/TB-Docs
1
0 Fork 0
Code Issues Pull Requests Releases 1 Activity

Commit Graph

  • 873dc440b8 fix(report): correct T-Assign main HEL 2026-08-24 14:01:29 +02:00
  • 123a65addf fix: minor typo HEL 2026-08-24 13:59:44 +02:00
  • c5b703efe8 fix(presentation): minor tweaks official HEL 2026-08-24 01:10:58 +02:00
  • 4a69fb5e62 fix(presentation): finishing touches HEL 2026-08-23 23:24:21 +02:00
  • 908ae6b779 feat(presentation): present and future HEL 2026-08-23 23:06:25 +02:00
  • d68352ba9b fix(presentation): tweak midas slides HEL 2026-08-21 17:16:48 +02:00
  • d1bece9cfe feat(presentation): more slides on typing HEL 2026-08-21 12:28:14 +02:00
  • 182d44d2f3 feat(presentation): init HEL 2026-08-19 15:34:21 +02:00
  • 27bc87cf5c fix(poster): improve HEL 2026-08-15 01:36:37 +02:00
  • 82dc2545b9 feat(poster): first draft HEL 2026-08-09 22:43:21 +02:00
  • 74398852d6 feat(poster): init poster HEL 2026-08-07 14:57:43 +02:00
  • a2ebfb435c feat(report): add link to report repository HEL 2026-07-24 01:04:30 +02:00
  • 032f3690d2 feat(summary): write executive summary HEL 2026-07-24 00:53:42 +02:00
  • 76c39a7c2e fix(report): minor tweaks HEL 2026-07-23 22:13:46 +02:00
  • 56280ee009 fix(report): tweak layout HEL 2026-07-23 21:27:58 +02:00
  • 520148babf fix(report): improve introduction HEL 2026-07-23 21:12:07 +02:00
  • 76bed19106 fix(report): incorrect cross-reference HEL 2026-07-23 21:02:45 +02:00
  • e73156638b fix(report): use Ruleset supplement instead of Table HEL 2026-07-23 20:39:52 +02:00
  • 49ae884b09 fix(report): consistent caption casing HEL 2026-07-23 18:31:37 +02:00
  • 8d51bfaff2 fix(report): reference all figures HEL 2026-07-23 18:29:32 +02:00
  • 2ec86366f2 fix(report): chapter heading supplement HEL 2026-07-23 18:08:06 +02:00
  • e21fbbe53e fix(report): consistent spelling HEL 2026-07-23 18:07:47 +02:00
  • 83a821a838 fix(report): title case in headings HEL 2026-07-23 17:56:31 +02:00
  • 7fb8db542a fix(report): typos HEL 2026-07-23 17:42:41 +02:00
  • 92038b7674 fix(report): add missing caption HEL 2026-07-23 11:57:12 +02:00
  • 8db90e4f83 fix(report): use tweaked template HEL 2026-07-23 11:56:57 +02:00
  • d682a191f3 feat(report): add list of tables and listings HEL 2026-07-23 11:46:08 +02:00
  • 30c3d3bf2a fix(report): hide appendix sub-heading from toc HEL 2026-07-22 23:12:01 +02:00
  • e33ff6a1b1 feat(report): write acknowledgements HEL 2026-07-22 23:11:45 +02:00
  • 4189fda1e7 feat(report): write abstract HEL 2026-07-22 22:43:40 +02:00
  • e831a8a723 fix(report): mention reverse operators limitation HEL 2026-07-22 21:52:46 +02:00
  • 81160d8ac9 feat(report): write section about extend statement HEL 2026-07-22 21:38:00 +02:00
  • 6bbcf9f3e0 feat(report): write conclusion HEL 2026-07-22 18:53:19 +02:00
  • 08a551daab fix(report): improve layout HEL 2026-07-22 12:34:09 +02:00
  • 9b4edcdd01 fix(report): improve fn-link HEL 2026-07-22 12:00:36 +02:00
  • 80a187f431 fix(report): reduce code font size HEL 2026-07-22 11:43:22 +02:00
  • 933ca8bc1d feat(report): add signature HEL 2026-07-22 11:43:05 +02:00
  • 4e11aae8a5 feat(report): add title and subtitle HEL 2026-07-22 11:42:41 +02:00
  • 469012ed4c feat(report): write state of the art HEL 2026-07-20 23:33:35 +02:00
  • 8179f7c6d1 feat(report): write results chapter HEL 2026-07-20 19:13:51 +02:00
  • 4fbd4eccca feat(report): write section about generators HEL 2026-07-20 16:38:43 +02:00
  • ff48a306e5 feat(report): complete python type checking HEL 2026-07-20 15:19:44 +02:00
  • f0edfe5b23 feat(report): type checking calls HEL 2026-07-20 00:07:53 +02:00
  • fd371d1c51 feat(report): add T-Assign rule HEL 2026-07-19 22:18:09 +02:00
  • d4e603c5b1 feat(report): work on some python expressions HEL 2026-07-19 19:14:22 +02:00
  • c866a6a1d9 feat(report): work on resolver and python statements HEL 2026-07-19 18:08:50 +02:00
  • 66610fdac9 feat(report): add python ast nodes HEL 2026-07-19 12:55:24 +02:00
  • 7ac1d880d7 feat(report): add implementation sub-chapters HEL 2026-07-19 12:22:09 +02:00
  • d55c5e325c feat(report): write section about variance inference HEL 2026-07-19 11:59:46 +02:00
  • 11420c690c fix(report): adjust heading level HEL 2026-07-18 22:43:11 +02:00
  • 4340e4dff2 feat(report): add input/output files in architecture diagram HEL 2026-07-18 22:42:53 +02:00
  • ef2d74e889 feat(report): write Midas typer HEL 2026-07-18 19:06:04 +02:00
  • 49d5d321c8 refactor(report): split types and registry sections HEL 2026-07-18 16:52:14 +02:00
  • 10f9f35496 fix(report): improve AST classes appendix HEL 2026-07-18 16:43:55 +02:00
  • 4cc0846887 feat(report): add section about registry HEL 2026-07-18 16:32:20 +02:00
  • 75f847c213 feat(report): add section about types HEL 2026-07-16 18:19:42 +02:00
  • 7232ef2252 fix(report): register midas language HEL 2026-07-16 18:18:01 +02:00
  • 0a2b40d092 chore: add justfile HEL 2026-07-16 16:18:35 +02:00
  • a8c63d502e feat(report): write Midas lexer and parser HEL 2026-07-16 12:33:16 +02:00
  • e6c8689ae8 feat(report): write implementation intro and overview HEL 2026-07-16 10:23:59 +02:00
  • 08f81bf4da feat(report): write theory chapter HEL 2026-07-15 19:04:25 +02:00
  • cc39119789 fix(report): Pylance -> Pyright HEL 2026-07-15 10:14:23 +02:00
  • 64b8a33c7d refactor(report): move theory to separate chapter HEL 2026-07-15 10:13:11 +02:00
  • 4ec15ee6dd feat(report): write introduction HEL 2026-07-13 19:45:34 +02:00
  • cfeef63ae2 Merge pull request 'Setup report and executive summary' (#1) from feat/report-setup into main HEL 2026-07-13 14:24:56 +00:00
  • 9d80ca7fd4 feat(summary): setup executive summary HEL 2026-07-13 16:05:45 +02:00
  • 2e1ded20f4 feat(report): add chapter files HEL 2026-07-13 15:35:08 +02:00
  • 5cdb22c32c feat(report): add draft plan HEL 2026-07-13 15:08:25 +02:00
  • 2e97ce9f4c feat(report): setup report HEL 2026-06-24 16:43:53 +02:00
  • c8e8f59eb6 feat(journal): add week 9 HEL 2026-07-13 11:42:29 +02:00
  • d76884fc9c feat(journal): add week 8 HEL 2026-07-07 12:30:02 +02:00
  • 5e724c6b40 feat(journal): update end of week 7 HEL 2026-06-29 08:55:24 +02:00
  • 15c6ec899e feat(journal): update week 7 HEL 2026-06-24 16:03:00 +02:00
  • 95e166a058 feat(admin): update planning with current progress HEL 2026-06-22 11:24:42 +02:00
  • 9620e35838 feat(journal): update end of week 6 HEL 2026-06-22 11:15:18 +02:00
  • 9317ce370f feat(journal): update week 6 HEL 2026-06-19 14:51:28 +02:00
  • cc6198951c feat(journal): add week 6 day 1 HEL 2026-06-16 09:56:45 +02:00
  • 99248b2ba8 feat(journal): update end of week 5 HEL 2026-06-15 10:34:52 +02:00
  • 93a3331a87 feat(journal): update week 5 HEL 2026-06-11 09:46:35 +02:00
  • 78ecda082e feat(design): add if-else and base midas syntax HEL 2026-06-11 09:34:51 +02:00
  • a8a6da5661 feat(design): add statement typing rules HEL 2026-06-09 10:45:30 +02:00
  • 4014f6f4e5 feat(journal): update end of week 4 HEL 2026-06-08 11:06:11 +02:00
  • ec4d2473d3 feat(design): some syntax and typing rules HEL 2026-06-03 15:22:53 +02:00
  • 08dc9dd5e9 feat(presentation): add compiled pdf HEL 2026-06-03 09:52:32 +02:00
  • d5ed18d9be feat(presentation): tweaks HEL 2026-06-03 09:51:56 +02:00
  • 98f94206ac feat(presentation): add halfway presentation HEL 2026-06-03 00:28:57 +02:00
  • c6e2439a91 feat(journal): update start of week 4 day 2 HEL 2026-06-02 13:31:35 +02:00
  • f4d249a2ad feat(journal): update week4 day 1 HEL 2026-06-01 22:38:58 +02:00
  • 48841c1255 feat(journal): update start of week 4 HEL 2026-06-01 13:05:56 +02:00
  • 641acf95ba feat(journal): update end of week 3 HEL 2026-05-31 17:28:44 +02:00
  • d6f2d52387 feat(journal): add list of topic for TAPL chapters HEL 2026-05-28 22:47:00 +02:00
  • 68175f71e4 feat(journal): add TAPL reading status diagram HEL 2026-05-28 22:33:03 +02:00
  • 5d9e19359f feat(journal): update week 3 HEL 2026-05-28 22:32:45 +02:00
  • 6c8c306da7 feat(journal): update day 4 and 5 of week 2 HEL 2026-05-22 22:25:48 +02:00
  • 119e5cd8af feat(journal): update day 2 and start of day3 HEL 2026-05-20 14:12:10 +02:00
  • 74698073e7 feat(research): add documentation on syntax refinement HELandClaude 2026-05-20 14:10:09 +02:00
  • 0a3fd058cb feat(journal): update with weekly meeting 2 HEL 2026-05-19 10:25:42 +02:00
  • b52baacdad feat(journal): update week1 and week2 HEL 2026-05-18 09:30:38 +02:00
  • f5c8f6fa62 fix(research): typo in syntax brainstorming HEL 2026-05-13 11:15:40 +02:00
  • dfb8bcb4cf feat(research): add operation syntax idea HEL 2026-05-13 11:10:06 +02:00