Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to main at HEL/TB-Docs 2026-07-23 16:32:20 +00:00
49ae884b09 fix(report): consistent caption casing
8d51bfaff2 fix(report): reference all figures
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-23 16:08:14 +00:00
2ec86366f2 fix(report): chapter heading supplement
e21fbbe53e fix(report): consistent spelling
83a821a838 fix(report): title case in headings
7fb8db542a fix(report): typos
Compare 4 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-23 09:57:17 +00:00
92038b7674 fix(report): add missing caption
8db90e4f83 fix(report): use tweaked template
d682a191f3 feat(report): add list of tables and listings
Compare 3 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-22 23:08:08 +00:00
30c3d3bf2a fix(report): hide appendix sub-heading from toc
e33ff6a1b1 feat(report): write acknowledgements
4189fda1e7 feat(report): write abstract
e831a8a723 fix(report): mention reverse operators limitation
81160d8ac9 feat(report): write section about extend statement
Compare 6 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-22 10:34:16 +00:00
08a551daab fix(report): improve layout
9b4edcdd01 fix(report): improve fn-link
80a187f431 fix(report): reduce code font size
933ca8bc1d feat(report): add signature
4e11aae8a5 feat(report): add title and subtitle
Compare 5 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-20 21:35:39 +00:00
469012ed4c feat(report): write state of the art
HEL pushed to main at HEL/TB-Docs 2026-07-20 17:15:42 +00:00
8179f7c6d1 feat(report): write results chapter
HEL pushed to main at HEL/TB-Docs 2026-07-20 14:38:49 +00:00
4fbd4eccca feat(report): write section about generators
HEL pushed to main at HEL/TB-Docs 2026-07-20 13:20:00 +00:00
ff48a306e5 feat(report): complete python type checking
HEL pushed to main at HEL/TB-Docs 2026-07-19 22:08:01 +00:00
f0edfe5b23 feat(report): type checking calls
fd371d1c51 feat(report): add T-Assign rule
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-19 17:14:29 +00:00
d4e603c5b1 feat(report): work on some python expressions
HEL pushed to main at HEL/TB-Docs 2026-07-19 16:08:57 +00:00
c866a6a1d9 feat(report): work on resolver and python statements
HEL created branch fix/undefined-variable in HEL/midas 2026-07-19 13:52:04 +00:00
HEL pushed to fix/undefined-variable at HEL/midas 2026-07-19 13:52:04 +00:00
3ab0dda682 fix(resolver): check undefined varaible in parent scopes
HEL pushed to main at HEL/TB-Docs 2026-07-19 10:56:09 +00:00
66610fdac9 feat(report): add python ast nodes
HEL pushed to main at HEL/TB-Docs 2026-07-19 10:22:15 +00:00
7ac1d880d7 feat(report): add implementation sub-chapters
d55c5e325c feat(report): write section about variance inference
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-18 21:26:28 +00:00
11420c690c fix(report): adjust heading level
4340e4dff2 feat(report): add input/output files in architecture diagram
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-18 17:06:11 +00:00
ef2d74e889 feat(report): write Midas typer
HEL pushed to main at HEL/TB-Docs 2026-07-18 14:53:12 +00:00
49d5d321c8 refactor(report): split types and registry sections
10f9f35496 fix(report): improve AST classes appendix
4cc0846887 feat(report): add section about registry
Compare 3 commits »
HEL pushed to main at HEL/TB-Docs 2026-07-16 16:19:48 +00:00
75f847c213 feat(report): add section about types
7232ef2252 fix(report): register midas language
0a2b40d092 chore: add justfile
Compare 3 commits »