HEL Louis Heredero
6 Followers · 3 Following
Suisse
https://github.com/LordBaryhobal
Joined on 2023-02-15
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL merged pull request HEL/rivet-typst#20 2026-06-16 15:30:29 +02:00
Release v0.3.1
HEL created pull request HEL/rivet-typst#20 2026-06-16 15:30:19 +02:00
Release v0.3.1
HEL pushed to dev at HEL/rivet-typst 2026-06-16 15:29:49 +02:00
5ac65afaff Merge pull request 'Prepare release v0.3.1' (#19) from release/v0.3.1 into dev
472562596f chore: fix typo in manual example
39e6acaed8 chore: fix typo in manual
6cc3cfcd00 chore: use preview import paths in examples
861c25026b fix: parse start struct attribute in xml-loader
Compare 9 commits »
HEL deleted branch release/v0.3.1 from HEL/rivet-typst 2026-06-16 15:29:49 +02:00
HEL merged pull request HEL/rivet-typst#19 2026-06-16 15:29:47 +02:00
Prepare release v0.3.1
HEL created pull request HEL/rivet-typst#19 2026-06-16 15:29:39 +02:00
Prepare release v0.3.1
HEL merged pull request HEL/midas#12 2026-06-16 14:57:49 +02:00
Cast assertions and generator tests
HEL pushed to main at HEL/midas 2026-06-16 14:57:49 +02: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 14:57:49 +02:00
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 14:57:20 +02: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 14:56:02 +02:00
Cast assertions and generator tests
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 14:45:55 +02: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 14:04:37 +02:00
a9a4d6d4c1 fix(checker): allow calling AppliedType and UnknownType
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 14:03:20 +02: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 12:56:41 +02:00
HEL pushed to feat/cast-assertions at HEL/midas 2026-06-16 12:56:41 +02: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 09:57:00 +02:00
cc6198951c feat(journal): add week 6 day 1
HEL pushed to main at HEL/midas 2026-06-16 00:51:13 +02: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-16 00:51:13 +02:00
HEL merged pull request HEL/midas#11 2026-06-16 00:51:12 +02:00
For loops