Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created branch release/v0.3.1 in HEL/rivet-typst 2026-06-14 11:11:41 +00:00
HEL pushed to release/v0.3.1 at HEL/rivet-typst 2026-06-14 11:11:41 +00:00
HEL pushed to feat/generics at HEL/midas 2026-06-13 17:05:28 +00:00
04c0d683de fix(types): remove unused operation structures
HEL pushed to feat/generics at HEL/midas 2026-06-13 16:49:01 +00:00
ac620f318b feat(checker): type check subscripts
947e9f0149 feat(parser): add subscript expressions
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 16:20:03 +00:00
c1ca254b51 feat(checker): handle unary operations
0bb862a1db fix(checker): report unsupported features
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 16:01:46 +00:00
54919a3565 tests: update with newly reported judgements
a5f0140013 refactor(checker): replace all accept calls
b0af01d906 tests: update tests
6048ee020f fix(checker): adapt comparison to lookup method
f815faa2f8 fix(checker): remove in.to_bytes
Compare 6 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 11:50:03 +00:00
503f2b6a0a fix: remove unused op statement
HEL pushed to feat/generics at HEL/midas 2026-06-13 11:44:14 +00:00
778117664f fix(checker): forward parsing errors as diagnostics
afe3eefbbf fix(checker): gravefully handle unknown type
96495e9f79 fix(parser): make name required for mixed and keyword args
77263139f6 feat(parser): add mixed arguments in midas functions
Compare 4 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 10:46:59 +00:00
4f5967a151 feat(checker): add top type (Any)
2a714a1021 fix: extend example of complex types
dafe0b471a feat(checker): define members on builtin types
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-12 15:01:35 +00:00
a1f2937e16 feat(tests): update serializer
2063d94dce fix(checker): give warning on unknown variable
22fc8010d8 fix(checker): minor fix when using base type in generic
aff1097d91 fix(checker): update binary operation lookup
12d034fd1e fix(checker): handle nested generic members
Compare 15 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-11 07:46:40 +00:00
93a3331a87 feat(journal): update week 5
78ecda082e feat(design): add if-else and base midas syntax
Compare 2 commits »
HEL pushed to refactor/renderer-redesign at HEL/rivet-typst 2026-06-10 22:20:37 +00:00
26d11301a2 added range names and bit ranks
aeb413abb4 added bit separators
6095b5784e reimplemented struct frame rendering
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-09 22:09:35 +00:00
c6ead886ec feat: add function type to midas syntax
9de03bf2b5 feat(types): add type params to extend statement
a26b9293be refactor(types): extract TypeParams
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-09 13:00:02 +00:00
efa5454776 feat(types): add human-friendly string rep
HEL pushed to main at HEL/TB-Docs 2026-06-09 10:45:44 +00:00
a8a6da5661 feat(design): add statement typing rules
HEL pushed to feat/generics at HEL/midas 2026-06-09 06:38:18 +00:00
b8bb8190c4 fix(resolver): define variable on assignment
a4f5db7ece fix(checker): use reduce_types to infer return type
fc67f01f34 refactor(checker): extract reduce_types function
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 16:26:22 +00:00
0a748a36a3 feat(types): WIP add AppliedType
89fdd1b47e feat(checker): WIP add lists
0cde53ac6e feat(types): add name to generic type
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 11:48:55 +00:00
f3ec3606c2 fix: avoid circular import in builtins.py
HEL pushed to feat/generics at HEL/midas 2026-06-08 11:46:00 +00:00
67ec029529 refactor(resolver): move resolver to checker module
e2aef7a811 refactor(checker): unify builtins definitions
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 11:41:50 +00:00
86ba4e658a refactor(checker): restructure around shared registry
7eccf59558 feat(checker): add reporter class
Compare 2 commits »