Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL deleted branch feat/code-generator from HEL/midas 2026-06-15 12:29:24 +00:00
HEL merged pull request HEL/midas#10 2026-06-15 12:29:22 +00:00
Simple code generator and CLI redesign
HEL created pull request HEL/midas#10 2026-06-15 12:29:11 +00:00
Simple code generator and CLI redesign
HEL pushed to feat/code-generator at HEL/midas 2026-06-15 12:20:26 +00:00
81181891c4 feat(gen): output compiled file in build dir
HEL pushed to feat/code-generator at HEL/midas 2026-06-15 12:19:07 +00:00
59c1a0c7b6 feat(cli): refactor CLI and add some commands
74f51f361a feat(checker): make checker return TypedAST
f25341b1e7 feat: add pass statements
Compare 3 commits »
HEL pushed to release/v0.3.1 at HEL/rivet-typst 2026-06-15 11:16:08 +00:00
472562596f chore: fix typo in manual example
HEL pushed to release/v0.3.1 at HEL/rivet-typst 2026-06-15 11:13:37 +00:00
39e6acaed8 chore: fix typo in manual
6cc3cfcd00 chore: use preview import paths in examples
861c25026b fix: parse start struct attribute in xml-loader
768e63fd46 chore: remove"Typst" from description
2678aee584 chore: add alt text on README images
Compare 5 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-15 08:35:03 +00:00
99248b2ba8 feat(journal): update end of week 5
HEL created branch feat/code-generator in HEL/midas 2026-06-15 00:10:27 +00:00
HEL pushed to feat/code-generator at HEL/midas 2026-06-15 00:10:27 +00:00
3281324caf feat(gen): add simple generator
HEL pushed to main at HEL/midas 2026-06-14 22:13:15 +00:00
5b062b46e6 Merge pull request 'Refactor, generics, methods, overloads and more' (#9) from feat/generics into main
635bf73531 feat(checker): add slice overloads on lists
bd0421b5d8 fix(checker): handle generic overloads
37a464d2bc feat(checker): type check slice expressions
1eedcff5aa feat(parser): add slice expression
Compare 65 commits »
HEL deleted branch feat/generics from HEL/midas 2026-06-14 22:13:15 +00:00
HEL merged pull request HEL/midas#9 2026-06-14 22:13:14 +00:00
Refactor, generics, methods, overloads and more
HEL created pull request HEL/midas#9 2026-06-14 22:13:03 +00:00
Refactor, generics, methods, overloads and more
HEL pushed to feat/generics at HEL/midas 2026-06-14 22:04:42 +00:00
635bf73531 feat(checker): add slice overloads on lists
bd0421b5d8 fix(checker): handle generic overloads
37a464d2bc feat(checker): type check slice expressions
1eedcff5aa feat(parser): add slice expression
35798e5752 tests: update with new subscript and call checks
Compare 65 commits »
HEL pushed to main at HEL/midas 2026-06-14 22:01:47 +00:00
27917496c1 Merge pull request 'Subtyping' (#8) from feat/subtyping into main
e0179bc442 feat(checker): handle assignments to attributes
e665d03533 fix: remove unused SetExpr
b8cb2b4273 feat(checker): handle attribute getter
d278dc5f5b tests: update tests with operation overloads
Compare 16 commits »
HEL deleted branch feat/subtyping from HEL/midas 2026-06-14 22:01:47 +00:00
HEL merged pull request HEL/midas#8 2026-06-14 22:01:45 +00:00
Subtyping
HEL pushed to feat/generics at HEL/midas 2026-06-14 15:05:19 +00:00
2886ffe00b feat(checker): add slice overloads on lists
def38e720b fix(checker): handle generic overloads
49274be2f4 feat(checker): type check slice expressions
aec6b7aa7b feat(parser): add slice expression
530d93723e tests: update with new subscript and call checks
Compare 5 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-14 14:36:48 +00:00
905132a18e feat(checker): resolve overloads with subtypes
9594c74952 doc(checker): add docstrings to new call checks
8df5607461 refactor(checker): unify call check for subscript
757054d7af chore: add examples for functions and overloads
25a96d20e1 feat(checker): handle overloaded function calls
Compare 5 commits »