HEL Louis Heredero
6 Followers · 3 Following
Suisse
https://github.com/LordBaryhobal
Joined on 2023-02-15
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL closed pull request HEL/rivet-typst#18 2026-06-05 16:34:56 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL created branch feat/subtyping in HEL/midas 2026-06-05 14:17:05 +02:00
HEL pushed to feat/subtyping at HEL/midas 2026-06-05 14:17:05 +02:00
HEL pushed to main at HEL/midas 2026-06-05 12:29:44 +02: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 12:29:44 +02:00
HEL merged pull request HEL/midas#7 2026-06-05 12:29:42 +02:00
Usage documentation
HEL created pull request HEL/midas#7 2026-06-05 12:29:37 +02:00
Usage documentation
HEL pushed to feat/usage-documentation at HEL/midas 2026-06-05 12:27:04 +02:00
504703d0f7 fix(cli): remove print in main command
HEL created branch feat/usage-documentation in HEL/midas 2026-06-05 12:25:25 +02:00
HEL pushed to feat/usage-documentation at HEL/midas 2026-06-05 12:25:25 +02:00
e48895d0af docs: add usage documentation in README
HEL pushed to main at HEL/midas 2026-06-05 11:31:55 +02: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 11:31:55 +02:00
HEL merged pull request HEL/midas#6 2026-06-05 11:31:54 +02:00
Basic type checker
HEL created pull request HEL/midas#6 2026-06-05 11:31:37 +02:00
Basic type checker
HEL pushed to feat/basic-type-checker at HEL/midas 2026-06-05 11:20:58 +02: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 11:20:58 +02:00
HEL merged pull request HEL/midas#5 2026-06-05 11:20:56 +02:00
Improve syntax and types
HEL created pull request HEL/midas#5 2026-06-05 11:20:17 +02:00
Improve syntax and types
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 11:20:14 +02:00
ddcaebb51a fix: remove outdated syntax definition
HEL pushed to feat/improve-syntax-and-types at HEL/midas 2026-06-05 11:15:05 +02:00
f182312cd2 fix: update midas syntax definitions