Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-01 20:34:23 +00:00
f7a36f61b6 fix(checker): pass AST expression to method registry
ad2fabf471 feat(checker): add assertion collector
Compare 2 commits »
HEL created branch feat/simple-frame-ops in HEL/midas 2026-07-01 20:26:04 +00:00
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-01 20:26:04 +00:00
a59a58d21a feat(gen): generate alias stubs
HEL deleted branch feat/call-dispatcher from HEL/midas 2026-07-01 12:22:13 +00:00
HEL pushed to main at HEL/midas 2026-07-01 12:22:13 +00:00
3260ae4a1e Merge pull request 'Call dispatcher' (#26) from feat/call-dispatcher into main
bd1c9581c7 fix(checker): use dispatcher in frame method registry
663642ea6c fix(tests): serialize alias statements
e2abc04fe4 feat(checker): define min/max in preamble
a4016b55ce feat(checker): handle calls to AppliedType
Compare 13 commits »
HEL merged pull request HEL/midas#26 2026-07-01 12:22:11 +00:00
Call dispatcher
HEL created pull request HEL/midas#26 2026-07-01 12:22:05 +00:00
Call dispatcher
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:17:17 +00:00
bd1c9581c7 fix(checker): use dispatcher in frame method registry
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:13:32 +00:00
663642ea6c fix(tests): serialize alias statements
HEL created branch feat/call-dispatcher in HEL/midas 2026-07-01 12:10:29 +00:00
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:10:29 +00:00
e2abc04fe4 feat(checker): define min/max in preamble
a4016b55ce feat(checker): handle calls to AppliedType
1ea5da7024 feat(parser): parse binary operations in Midas
a017a8cf1f feat(checker): catch errors when evaluating constraint
8fc5ab623e feat(checker): evaluate literal cast to list/dict
Compare 10 commits »
HEL commented on pull request HEL/circuiteria#23 2026-07-01 09:46:11 +00:00
CeTZ, Tidy and Typst version updates

Hi, thanks for your interest in this package and for the PR! I was planning on updating to the latest versions indeed once the latest release has been merged in the Universe. But first, I wanted…

HEL deleted branch feat/dataframes from HEL/midas 2026-07-01 08:24:38 +00:00
HEL pushed to main at HEL/midas 2026-07-01 08:24:38 +00:00
c81287df7f Merge pull request 'Initial dataframe implementation' (#25) from feat/dataframes into main
ffccc1bedd feat(cli): generate stubs in build dir when compiling
d14f208897 feat(gen): add tuple expr to generator
293953a078 tests: update with multi-parameter generics
bccc96e4d0 fix: minor fixes
Compare 40 commits »
HEL merged pull request HEL/midas#25 2026-07-01 08:24:36 +00:00
Initial dataframe implementation
HEL created pull request HEL/midas#25 2026-07-01 08:24:20 +00:00
Initial dataframe implementation
HEL pushed to feat/dataframes at HEL/midas 2026-07-01 08:16:40 +00:00
ffccc1bedd feat(cli): generate stubs in build dir when compiling
d14f208897 feat(gen): add tuple expr to generator
293953a078 tests: update with multi-parameter generics
bccc96e4d0 fix: minor fixes
9db56adf56 feat: add Python tuple expression
Compare 55 commits »
HEL deleted branch feat/subtypes-and-aliases from HEL/midas 2026-07-01 08:09:15 +00:00
HEL pushed to main at HEL/midas 2026-07-01 08:09:15 +00:00
d039a8e4b3 Merge pull request 'Type aliases vs. Derived types' (#24) from feat/subtypes-and-aliases into main
c4533421eb feat(checker): process alias definitions
73769b42c1 feat(parser): add alias keyword and statement
087f6b4669 refactor(types): rename AliasType to DerivedType
Compare 4 commits »
HEL merged pull request HEL/midas#24 2026-07-01 08:09:14 +00:00
Type aliases vs. Derived types