Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL merged pull request HEL/midas#5 2026-06-05 09:20:56 +00:00
Improve syntax and types
HEL created pull request HEL/midas#5 2026-06-05 09:20:17 +00:00
Improve syntax and types
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 09:20:14 +00:00
ddcaebb51a fix: remove outdated syntax definition
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 09:15:05 +00:00
f182312cd2 fix: update midas syntax definitions
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 08:48:55 +00:00
73b21789d5 fix(tests): remove custom imports
5d7c724bc8 fix(cli): add types files argument
74b297c89c feat(checker): remove custom midas import
Compare 3 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-03 13:23:02 +00:00
ec4d2473d3 feat(design): some syntax and typing rules
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-03 11:03:48 +00:00
822a74acce refactor(checker): rename methods
9a934fabfd tests: remove union type
828ec9a3fa fix!: remove union type
Compare 3 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-03 07:52:43 +00:00
08dc9dd5e9 feat(presentation): add compiled pdf
d5ed18d9be feat(presentation): tweaks
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-02 22:29:15 +00:00
98f94206ac feat(presentation): add halfway presentation
HEL pushed to main at HEL/TB-Docs 2026-06-02 11:31:46 +00:00
c6e2439a91 feat(journal): update start of week 4 day 2
f4d249a2ad feat(journal): update week4 day 1
Compare 2 commits »
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-02 11:07:58 +00:00
63a43d79dd chore: update examples
029caf4526 fix(tests): update tests with new syntax
1c5c418f1c fix(tests): serialize ternary expressions
a4139d4652 feat(checker): handle logical expressions
2fd2071d40 feat(parser): parse pass statement and None
Compare 9 commits »
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-02 09:46:11 +00:00
35ceda99aa chore: tidy
HEL created branch feat/improve-syntax-and-types in HEL/midas 2026-06-02 09:44:36 +00:00
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-02 09:44:36 +00:00
7f3d74ee49 feat(checker)!: resolve new types
b9f378de6f feat(parser)!: update Midas parser with new nodes
ccb17c7290 feat(parser)!: add new Midas AST nodes
505779310a feat: add new midas syntax example
Compare 4 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-01 13:02:18 +00:00
bea3f399ad feat(checker): handle ternary expression
55060bfecd feat(parser): add ternary statement
Compare 2 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-01 12:48:33 +00:00
dd126f2559 fix(cli): improve diagnostic message popup
4151f5373d fix(checker): early define fully-typed function
Compare 2 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-01 12:22:09 +00:00
bd31713ab4 tests(checker): add control flow test
f4dc57cb96 chore: add control flow example
261fd47494 feat(cli): update highlighter
1b66a8553d fix(checker): handle paths with no returns in functions
65164abadb feat(checker): type check if statements
Compare 8 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-01 11:06:03 +00:00
48841c1255 feat(journal): update start of week 4
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-01 09:58:40 +00:00
86ad348b99 feat(cli): add option to highlight diagnostics
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-01 09:31:06 +00:00
29f691e38a fix: update vscode syntax