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-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
HEL pushed to feat/manual at HEL/midas 2026-06-26 13:01:51 +00:00
93ddb28802 docs: setup user manual
HEL pushed to feat/dataframes at HEL/midas 2026-06-26 12:56:48 +00:00
9f59366289 feat(gen): generate asserts for dataframes and columns
fd0b410d74 fix(checker): change heterogeneous errors to warnings
Compare 2 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-26 09:52:38 +00:00
5b0c5c01ad feat(checker): add mean method on frames
43e40396a1 fix(checker): type check None literal
0d265ef24c feat(checker): lookup dunders on dataframes
88c56c9d15 tests: update with reordered argument typing
Compare 4 commits »
HEL pushed to feat/dataframes at HEL/midas 2026-06-25 20:32:06 +00:00
d1c217a335 refactor: use metaclass to collect frame methods
5b3e87afcb refactor: add MethodResolver class
894d5a7196 feat: add dummy classes for typing frames and columns
eb809c6341 fix(checker): improve heterogeneous error message
bd68d1003f feat(checker): lookup dataframe methods
Compare 8 commits »
HEL created branch feat/report-setup in HEL/TB-Docs 2026-06-24 14:43:57 +00:00
HEL pushed to feat/report-setup at HEL/TB-Docs 2026-06-24 14:43:57 +00:00
82a3e1786d feat(report): setup report
HEL pushed to main at HEL/TB-Docs 2026-06-24 14:03:07 +00:00
15c6ec899e feat(journal): update week 7
HEL pushed to feat/dataframes at HEL/midas 2026-06-24 12:37:10 +00:00
78e10e0895 feat(checker): process frame type definitions
c81e4a9560 feat(cli): add frame type to highlighter
6d0cf1a055 feat(parser): add frame type to midas syntax
cc5e7af143 feat(gen): add support for tuples and dataframes
3bdbc80079 feat(checker): handle setting dataframe column
Compare 25 commits »
HEL deleted branch fix/cli-tweaks from HEL/midas 2026-06-24 12:18:09 +00:00
HEL pushed to main at HEL/midas 2026-06-24 12:18:09 +00:00
f7c43837b5 Merge pull request 'CLI tweaks' (#22) from fix/cli-tweaks into main
32ed62a6f1 fix(cli): show summary of diagnostic counts
66f39acec0 fix(cli): show all diagnostics in types command
6c04e2fee4 feat(cli): add compile option to ignore errors
Compare 4 commits »
HEL merged pull request HEL/midas#22 2026-06-24 12:18:08 +00:00
CLI tweaks