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 pushed to fix/update-readme at HEL/midas 2026-06-19 15:23:57 +02:00
7639ccc94d chore: update README with new commands
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 15:07:22 +02:00
7a2ee5a4cc feat(cli): print predicate with dump-registry
359ed21bb8 fix(checker): typo in docstring
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-19 14:51:34 +02:00
9317ce370f feat(journal): update week 6
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 14:41:49 +02:00
d0f1178c17 fix(checker): change some diagnostics to warnings
0eca23b894 feat(gen): generate type hints for functions
f664fb4a4f feat(gen): handle predicate aliases
32330243c6 fix(parser): fix call expr location span
96e76065cf feat(types): detect constraint base subtyping
Compare 7 commits »
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 00:08:51 +02:00
35ec0d0db8 fix(tests): update generator tester
48fcb499a1 feat(gen): generate predicate functions
Compare 2 commits »
HEL pushed to feat/constraint-type at HEL/midas 2026-06-18 17:05:51 +02:00
bdc1b265a6 feat(gen): generate basic constraint assertion
HEL created branch feat/constraint-type in HEL/midas 2026-06-18 12:52:45 +02:00
HEL pushed to feat/constraint-type at HEL/midas 2026-06-18 12:52:45 +02:00
1fb4b6f8c6 feat(types): add ConstraintType
48c1ecc1c8 refactor: ensure exhaustiveness in some match/case
04853eac70 tests: update with new predicate AST representation
020824d1f8 fix(tests): correctly serialize param name
ad86446a2d feat(midas): generalize param spec of predicate and parse
Compare 7 commits »
HEL created branch feat/stubs-gen in HEL/midas 2026-06-17 12:20:00 +02:00
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-17 12:20:00 +02:00
11422d4364 feat(cli): add stubs command
e8f8a5ca2f feat(gen): add base for stubs generator
df8d71c0a9 fix(checker): handle calls to AliasType
e4fb142f99 fix(checker): allow substitutyping type vars in GenericType and TopType
2f8f9d633b fix(checker): store member kind in registry
Compare 5 commits »
HEL merged pull request HEL/midas#13 2026-06-16 20:42:13 +02:00
Dictionaries
HEL pushed to main at HEL/midas 2026-06-16 20:42:13 +02:00
a4a2ed5d64 Merge pull request 'Dictionaries' (#13) from feat/dictionaries into main
e5cb90aff6 fix(checker): make builtin type constructor parameter optional
75f8e4af53 feat(checker): type check dictionaries
42c2d7a098 feat(parser): add dictionary expression
Compare 4 commits »
HEL deleted branch feat/dictionaries from HEL/midas 2026-06-16 20:42:13 +02:00
HEL created pull request HEL/midas#13 2026-06-16 20:42:04 +02:00
Dictionaries
HEL created branch feat/dictionaries in HEL/midas 2026-06-16 20:41:04 +02:00
HEL pushed to feat/dictionaries at HEL/midas 2026-06-16 20:41:04 +02:00
e5cb90aff6 fix(checker): make builtin type constructor parameter optional
75f8e4af53 feat(checker): type check dictionaries
42c2d7a098 feat(parser): add dictionary expression
Compare 3 commits »
HEL commented on pull request HEL/rivet-typst#13 2026-06-16 15:43:48 +02:00
Support for non-consecutive ranges

soon (adverb): in or within a short time; before long; quickly

Well well well... now that Typst 0.15.0 is out, it was time for that release to be published 😅 I'm very sorry for the long…

HEL pushed tag v0.3.1 to HEL/rivet-typst 2026-06-16 15:35:06 +02:00
HEL released V0.3.1 at HEL/rivet-typst 2026-06-16 15:35:06 +02:00
HEL pushed to main at HEL/rivet-typst 2026-06-16 15:30:30 +02:00
e4b42898bf Merge pull request 'Release v0.3.1' (#20) from dev into main
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
Compare 19 commits »