Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/constraint-type at HEL/midas 2026-06-18 15:05:51 +00:00
bdc1b265a6 feat(gen): generate basic constraint assertion
HEL created branch feat/constraint-type in HEL/midas 2026-06-18 10:52:45 +00:00
HEL pushed to feat/constraint-type at HEL/midas 2026-06-18 10:52:45 +00: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 10:20:00 +00:00
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-17 10:20:00 +00: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 18:42:13 +00:00
Dictionaries
HEL pushed to main at HEL/midas 2026-06-16 18:42:13 +00: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 18:42:13 +00:00
HEL created pull request HEL/midas#13 2026-06-16 18:42:04 +00:00
Dictionaries
HEL created branch feat/dictionaries in HEL/midas 2026-06-16 18:41:04 +00:00
HEL pushed to feat/dictionaries at HEL/midas 2026-06-16 18:41:04 +00: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 13:43:48 +00: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 13:35:06 +00:00
HEL released V0.3.1 at HEL/rivet-typst 2026-06-16 13:35:06 +00:00
HEL pushed to main at HEL/rivet-typst 2026-06-16 13:30:30 +00: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 »
HEL merged pull request HEL/rivet-typst#20 2026-06-16 13:30:29 +00:00
Release v0.3.1
HEL created pull request HEL/rivet-typst#20 2026-06-16 13:30:19 +00:00
Release v0.3.1
HEL pushed to dev at HEL/rivet-typst 2026-06-16 13:29:49 +00: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 13:29:49 +00:00
HEL merged pull request HEL/rivet-typst#19 2026-06-16 13:29:47 +00:00
Prepare release v0.3.1