Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created pull request HEL/rivet-typst#19 2026-06-16 13:29:39 +00:00
Prepare release v0.3.1
HEL merged pull request HEL/midas#12 2026-06-16 12:57:49 +00:00
Cast assertions and generator tests
HEL pushed to main at HEL/midas 2026-06-16 12:57:49 +00:00
5ce3b4abed Merge pull request 'Cast assertions and generator tests' (#12) from feat/cast-assertions into main
2a8b7d559c tests: add simple gen test
da38cad23d feat(tests): add generator tester
591012d059 fix(checker): allow calling AppliedType and UnknownType
4b1087d6b9 fix(cli): improve dump-registry command output
Compare 10 commits »
HEL deleted branch feat/cast-assertions from HEL/midas 2026-06-16 12:57:49 +00:00
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 12:57:20 +00:00
2a8b7d559c tests: add simple gen test
da38cad23d feat(tests): add generator tester
591012d059 fix(checker): allow calling AppliedType and UnknownType
4b1087d6b9 fix(cli): improve dump-registry command output
732f7b0796 feat(checker): add environment preamble
Compare 6 commits »
HEL created pull request HEL/midas#12 2026-06-16 12:56:02 +00:00
Cast assertions and generator tests
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 12:45:55 +00:00
1aff8e574d tests: add simple gen test
498e05f963 feat(tests): add generator tester
Compare 2 commits »
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 12:04:37 +00:00
a9a4d6d4c1 fix(checker): allow calling AppliedType and UnknownType
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 12:03:20 +00:00
60144f8671 fix(cli): improve dump-registry command output
bbede34a84 feat(checker): add environment preamble
Compare 2 commits »
HEL created branch feat/cast-assertions in HEL/midas 2026-06-16 10:56:41 +00:00
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 10:56:41 +00:00
16d6e1b603 fix(checker): allow inferred return to by subtype of hint
c3229b557c feat(gen): add basic cast assertions on base type
0a8e0fb6c2 feat(checker): handle raw expr/stmt
61514d036c feat(passer): add raw statements and expressions
Compare 4 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-16 07:57:00 +00:00
cc6198951c feat(journal): add week 6 day 1
HEL pushed to main at HEL/midas 2026-06-15 22:51:13 +00:00
2e5cf6f8a2 Merge pull request 'For loops' (#11) from feat/for-loops into main
25fabdd6c3 refactor(checker): split type computation and judgement
af1aba41e7 feat(gen): handle for loops
48e13d3348 feat(checker): handle for loops
faa98ce0ef feat(parser): add for loop node
Compare 6 commits »
HEL deleted branch feat/for-loops from HEL/midas 2026-06-15 22:51:13 +00:00
HEL merged pull request HEL/midas#11 2026-06-15 22:51:12 +00:00
For loops
HEL created pull request HEL/midas#11 2026-06-15 22:51:05 +00:00
For loops
HEL created branch feat/for-loops in HEL/midas 2026-06-15 22:48:36 +00:00
HEL pushed to feat/for-loops at HEL/midas 2026-06-15 22:48:36 +00:00
25fabdd6c3 refactor(checker): split type computation and judgement
af1aba41e7 feat(gen): handle for loops
48e13d3348 feat(checker): handle for loops
faa98ce0ef feat(parser): add for loop node
274e366561 feat(cli): add help messages to all commands
Compare 5 commits »
HEL pushed to main at HEL/midas 2026-06-15 12:29:24 +00:00
119c262da4 Merge pull request 'Simple code generator and CLI redesign' (#10) from feat/code-generator into main
81181891c4 feat(gen): output compiled file in build dir
59c1a0c7b6 feat(cli): refactor CLI and add some commands
74f51f361a feat(checker): make checker return TypedAST
f25341b1e7 feat: add pass statements
Compare 6 commits »
HEL deleted branch feat/code-generator from HEL/midas 2026-06-15 12:29:24 +00:00