Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created branch feat/17-expose-name in HEL/circuiteria 2026-06-30 16:32:35 +00:00
HEL pushed to feat/17-expose-name at HEL/circuiteria 2026-06-30 16:32:35 +00:00
536f5a075d chore: expose package name
HEL created branch feat/subtypes-and-aliases in HEL/midas 2026-06-30 14:28:51 +00:00
HEL pushed to feat/subtypes-and-aliases at HEL/midas 2026-06-30 14:28:51 +00:00
087f6b4669 refactor(types): rename AliasType to DerivedType
HEL deleted branch feat/manual from HEL/midas 2026-06-30 14:11:46 +00:00
HEL pushed to main at HEL/midas 2026-06-30 14:11:46 +00:00
d582df5927 Merge pull request 'User manual' (#23) from feat/manual into main
6a0401833c feat(manual): add strings to midas syntax def
e15607b763 fix(manual): end syntax highlighting of extend body
e28f324a85 fix(manual): typos
31e696c938 feat(manual): add listings outline and tweak template
Compare 12 commits »
HEL merged pull request HEL/midas#23 2026-06-30 14:11:45 +00:00
User manual
HEL created pull request HEL/midas#23 2026-06-30 14:11:35 +00:00
User manual
HEL pushed to feat/manual at HEL/midas 2026-06-30 12:10:38 +00:00
6a0401833c feat(manual): add strings to midas syntax def
e15607b763 fix(manual): end syntax highlighting of extend body
Compare 2 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-30 11:42:26 +00:00
45894b66b0 feat(cli): generate stubs in build dir when compiling
HEL pushed to feat/dataframes at HEL/midas 2026-06-29 20:46:10 +00:00
16239db479 feat(gen): add tuple expr to generator
dc2134c87d tests: update with multi-parameter generics
89f3c945e4 fix: minor fixes
Compare 3 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-29 12:35:41 +00:00
45f7d1be2b feat: add Python tuple expression
27f3fa7d1e feat: handle multi-parameter generic in Python
Compare 2 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-29 12:03:01 +00:00
78eba39ae3 feat(checker): add len()
3b78b37306 fix(checker): allow some assignments to unknown
9e14b30bc9 feat(checker): add methods on str
a6a1075f91 feat(checker): type check tuple instantiation in Midas
11be47fce3 fix(parser): parse empty calls
Compare 6 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-29 09:15:00 +00:00
f796f4c6fa fix(checker): allow iterating on unknown
c333735580 fix(checker): allow subtypes and unknown as if test
Compare 2 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-29 09:06:09 +00:00
2416102494 feat(gen): assertions for column values
eb4971686a fix(checker): allow calling unknown method on dataframes
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-29 06:56:11 +00:00
5e724c6b40 feat(journal): update end of week 7
HEL pushed to feat/manual at HEL/midas 2026-06-28 20:30:14 +00:00
e28f324a85 fix(manual): typos
HEL pushed to feat/manual at HEL/midas 2026-06-28 20:28:19 +00:00
31e696c938 feat(manual): add listings outline and tweak template
759b416bf3 feat(manual): wrap all code in figures
Compare 2 commits »
HEL pushed to feat/manual at HEL/midas 2026-06-28 19:41:51 +00:00
4b2b0fe476 feat(manual): document supported Python syntax
4c39504750 feat(manual): document predicate and constraints
f9f3ade6c7 feat(manual): document type statement
386018b956 feat(manual): add sublime syntax for Midas
bd47d33355 feat(manual): complete introduction and quick start
Compare 5 commits »
HEL created branch feat/manual in HEL/midas 2026-06-26 13:01:51 +00:00