Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/dataframes at HEL/midas 2026-06-23 12:45:24 +00:00
9145496587 feat(gen): add support for tuples and dataframes
9144995b79 feat(checker): handle setting dataframe column
45e27ee04e feat(checker): type check subscript on dataframes
83bd3793df feat(types): add TupleType
c2a5517d09 fix(types): add str methods to dataframe types
Compare 6 commits »
HEL deleted branch feat/demonstration from HEL/midas 2026-06-23 08:15:57 +00:00
HEL pushed to main at HEL/midas 2026-06-23 08:15:57 +00:00
9c7a93412c Merge pull request 'Fixes and small demo' (#19) from feat/demonstration into main
d6b8fbfb60 chore: improve demo example
b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar
093f2bc477 fix(checker): lookup member on typevar bound
7c771c4070 feat(checker): add input function to preamble
Compare 15 commits »
HEL merged pull request HEL/midas#19 2026-06-23 08:15:56 +00:00
Fixes and small demo
HEL created pull request HEL/midas#19 2026-06-23 08:15:49 +00:00
Fixes and small demo
HEL pushed to feat/demonstration at HEL/midas 2026-06-23 08:03:48 +00:00
d6b8fbfb60 chore: improve demo example
HEL pushed tag v1.1.5 to HEL/spyglassmc-action 2026-06-22 22:59:37 +00:00
HEL pushed to main at HEL/spyglassmc-action 2026-06-22 22:59:27 +00:00
e31700ef9c chore: bump version
095946b6f0 chore: update dependencies
Compare 2 commits »
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 22:26:06 +00:00
b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar
093f2bc477 fix(checker): lookup member on typevar bound
7c771c4070 feat(checker): add input function to preamble
Compare 3 commits »
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 13:40:50 +00:00
a50a207385 fix(gen): don't generate stubs for builtin types
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 13:29:56 +00:00
7e5ea5e414 chore: add example to demonstrate some features
HEL created branch feat/demonstration in HEL/midas 2026-06-22 13:27:19 +00:00
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 13:27:19 +00:00
0ba0266bae fix(checker): check general subtype case for AppliedType
216c80f08c fix(checker): produce judgement for expression in cast
f75d7722a1 fix(checker): look up members on constraint type
2f29c47274 fix(gen): assert type var bound
80af2b9048 fix(checker): handle is_subtype of TypeVar
Compare 8 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-22 09:24:51 +00:00
95e166a058 feat(admin): update planning with current progress
9620e35838 feat(journal): update end of week 6
Compare 2 commits »
HEL merged pull request HEL/midas#18 2026-06-21 11:41:48 +00:00
Generic call unification
HEL deleted branch feat/unification from HEL/midas 2026-06-21 11:41:48 +00:00
HEL pushed to main at HEL/midas 2026-06-21 11:41:48 +00:00
739871c101 Merge pull request 'Generic call unification' (#18) from feat/unification into main
4395e9339b fix(checker): abort unification on conflict
29e601128d tests: add unification test
b591f5508f fix(checker): make map definition generic
41d0c84bbe feat(checker): add unifier
Compare 5 commits »
HEL created pull request HEL/midas#18 2026-06-21 11:41:43 +00:00
Generic call unification
HEL pushed to feat/unification at HEL/midas 2026-06-21 11:36:13 +00:00
4395e9339b fix(checker): abort unification on conflict
HEL created branch feat/unification in HEL/midas 2026-06-21 11:19:20 +00:00