Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL created branch feat/subtyping in HEL/midas 2026-06-05 12:17:05 +00:00
HEL pushed to feat/subtyping at HEL/midas 2026-06-05 12:17:05 +00:00
HEL pushed to main at HEL/midas 2026-06-05 10:29:44 +00:00
288d15a9bc Merge pull request 'Usage documentation' (#7) from feat/usage-documentation into main
504703d0f7 fix(cli): remove print in main command
e48895d0af docs: add usage documentation in README
Compare 3 commits »
HEL deleted branch feat/usage-documentation from HEL/midas 2026-06-05 10:29:44 +00:00
HEL merged pull request HEL/midas#7 2026-06-05 10:29:42 +00:00
Usage documentation
HEL created pull request HEL/midas#7 2026-06-05 10:29:37 +00:00
Usage documentation
HEL pushed to feat/usage-documentation at HEL/midas 2026-06-05 10:27:04 +00:00
504703d0f7 fix(cli): remove print in main command
HEL created branch feat/usage-documentation in HEL/midas 2026-06-05 10:25:25 +00:00
HEL pushed to feat/usage-documentation at HEL/midas 2026-06-05 10:25:25 +00:00
e48895d0af docs: add usage documentation in README
HEL pushed to main at HEL/midas 2026-06-05 09:31:55 +00:00
13d32d0d27 Merge pull request 'Basic type checker' (#6) from feat/basic-type-checker into main
19b9fdd623 Merge pull request 'Improve syntax and types' (#5) from feat/improve-syntax-and-types into feat/basic-type-checker
ddcaebb51a fix: remove outdated syntax definition
f182312cd2 fix: update midas syntax definitions
73b21789d5 fix(tests): remove custom imports
Compare 75 commits »
HEL deleted branch feat/basic-type-checker from HEL/midas 2026-06-05 09:31:55 +00:00
HEL merged pull request HEL/midas#6 2026-06-05 09:31:54 +00:00
Basic type checker
HEL created pull request HEL/midas#6 2026-06-05 09:31:37 +00:00
Basic type checker
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-05 09:20:58 +00:00
19b9fdd623 Merge pull request 'Improve syntax and types' (#5) from feat/improve-syntax-and-types into feat/basic-type-checker
ddcaebb51a fix: remove outdated syntax definition
f182312cd2 fix: update midas syntax definitions
73b21789d5 fix(tests): remove custom imports
5d7c724bc8 fix(cli): add types files argument
Compare 23 commits »
HEL deleted branch feat/improve-syntax-and-types from HEL/midas 2026-06-05 09:20:58 +00:00
HEL merged pull request HEL/midas#5 2026-06-05 09:20:56 +00:00
Improve syntax and types
HEL created pull request HEL/midas#5 2026-06-05 09:20:17 +00:00
Improve syntax and types
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 09:20:14 +00:00
ddcaebb51a fix: remove outdated syntax definition
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 09:15:05 +00:00
f182312cd2 fix: update midas syntax definitions
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 08:48:55 +00:00
73b21789d5 fix(tests): remove custom imports
5d7c724bc8 fix(cli): add types files argument
74b297c89c feat(checker): remove custom midas import
Compare 3 commits »