Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
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 »
HEL pushed to main at HEL/TB-Docs 2026-06-08 09:08:26 +00:00
4014f6f4e5 feat(journal): update end of week 4
HEL pushed to feat/generics at HEL/midas 2026-06-08 09:08:09 +00:00
9dd7801d2d feat(resolver): handle generic application
154cb8b314 refactor(checker): move is_subtype to resolver
c64ab434b5 refactor(checker): move unfold_type to types.py
25e6410546 feat(resolver): handle generics definition
8a22acc17c feat(checker): add generic type structure
Compare 5 commits »
HEL created branch feat/generics in HEL/midas 2026-06-08 07:14:21 +00:00
HEL pushed to feat/generics at HEL/midas 2026-06-08 07:14:21 +00:00
HEL created pull request HEL/midas#8 2026-06-08 07:13:28 +00:00
Subtyping
HEL pushed to feat/subtyping at HEL/midas 2026-06-08 06:37:47 +00:00
e0179bc442 feat(checker): handle assignments to attributes
e665d03533 fix: remove unused SetExpr
b8cb2b4273 feat(checker): handle attribute getter
Compare 3 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-07 12:29:23 +00:00
d278dc5f5b tests: update tests with operation overloads
59e73f0fd9 fix(checker): invert property subtype check
3e0dc60283 fix(checker): only unfold alias on subtype
c24eb5125e feat(checker): resolve operation overloads with subtypes
25bd895dde feat(cli): improve diagnostic printing
Compare 5 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-06 14:59:54 +00:00
bccd75317e tests: add subtyping test
f0e3f7574f feat(tests): add judgements to test results
Compare 2 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-06 14:54:25 +00:00
5d44081847 feat(checker): implement function subtyping
2a2bb0aec7 feat(checker): store function param position
67c40a3909 feat(checker): add is_subtype method
1c30188122 feat(checker): record type judgements
82a0f13242 feat(cli): add verbose flag to compile
Compare 5 commits »
HEL pushed to dev at HEL/rivet-typst 2026-06-05 14:43:49 +00:00
05de90890f Merge pull request 'fix end line on non-consecutive ranges ending at the highest bit not being drawn' (#18) from ALVAROPING1/rivet-typst:dev into dev
9b83b4c4a8 fix end line on non-consecutive ranges ending at the highest bit not being drawn
Compare 2 commits »
HEL merged pull request HEL/rivet-typst#18 2026-06-05 14:43:48 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL approved HEL/rivet-typst#18 2026-06-05 14:43:39 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

Thanks for your contribution 👍

HEL commented on pull request HEL/rivet-typst#18 2026-06-05 14:38:29 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

My bad, there is still a bug indeed

HEL reopened pull request HEL/rivet-typst#18 2026-06-05 14:38:29 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL commented on pull request HEL/rivet-typst#18 2026-06-05 14:34:56 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

😬 This has already been fixed but I forgot to make a release... See #13 I'll try making one in a couple of days

HEL closed pull request HEL/rivet-typst#18 2026-06-05 14:34:56 +00:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL created branch feat/subtyping in HEL/midas 2026-06-05 12:17:05 +00:00
HEL pushed to feat/subtyping at HEL/midas 2026-06-05 12:17:05 +00:00
HEL pushed to main at HEL/midas 2026-06-05 10:29:44 +00:00
288d15a9bc Merge pull request 'Usage documentation' (#7) from feat/usage-documentation into main
504703d0f7 fix(cli): remove print in main command
e48895d0af docs: add usage documentation in README
Compare 3 commits »