Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to main at HEL/TB-Docs 2026-07-13 09:43:09 +00:00
c8e8f59eb6 feat(journal): add week 9
HEL released V0.1.0 at HEL/midas 2026-07-10 09:46:20 +00:00
HEL pushed tag v0.1.0 to HEL/midas 2026-07-10 09:46:19 +00:00
HEL pushed tag official to HEL/midas 2026-07-10 09:38:12 +00:00
HEL deleted tag official from HEL/midas 2026-07-10 09:37:57 +00:00
HEL deleted branch fix/remove-raises from HEL/midas 2026-07-10 09:35:04 +00:00
HEL pushed to main at HEL/midas 2026-07-10 09:35:04 +00:00
12c5309cff Merge pull request 'Avoid raising exceptions, report diagnostics instead' (#42) from fix/remove-raises into main
720a82c221 fix(checker): remove redundant match case
90e9d167bf fix(checker): better handle invalid generic instantiation
4866ab2090 fix(checker): handle already defined predicates
3ede752cae fix(checker): handle already defined types
Compare 8 commits »
HEL merged pull request HEL/midas#42 2026-07-10 09:35:02 +00:00
Avoid raising exceptions, report diagnostics instead
HEL created pull request HEL/midas#42 2026-07-10 09:33:56 +00:00
Avoid raising exceptions, report diagnostics instead
HEL created branch fix/remove-raises in HEL/midas 2026-07-10 09:32:20 +00:00
HEL pushed to fix/remove-raises at HEL/midas 2026-07-10 09:32:20 +00:00
720a82c221 fix(checker): remove redundant match case
90e9d167bf fix(checker): better handle invalid generic instantiation
4866ab2090 fix(checker): handle already defined predicates
3ede752cae fix(checker): handle already defined types
244e5f351a fix(checker): handle subscript and error in typevar bound
Compare 7 commits »
HEL pushed tag official to HEL/midas 2026-07-09 22:41:29 +00:00
HEL deleted branch feat/readme-additions from HEL/midas 2026-07-09 22:39:10 +00:00
HEL pushed to main at HEL/midas 2026-07-09 22:39:10 +00:00
e302ed2377 Merge pull request 'Add Contributing and License sections to README' (#41) from feat/readme-additions into main
1d927e532f chore: add icon to README
bfe4f854ea chore: add Contributing and License to README
Compare 3 commits »
HEL merged pull request HEL/midas#41 2026-07-09 22:39:09 +00:00
Add Contributing and License sections to README
HEL pushed to feat/readme-additions at HEL/midas 2026-07-09 22:38:43 +00:00
1d927e532f chore: add icon to README
bfe4f854ea chore: add Contributing and License to README
3e06a236b5 Merge pull request 'Add Apache 2.0 license' (#40) from feat/license into main
Compare 3 commits »
HEL created pull request HEL/midas#41 2026-07-09 22:37:46 +00:00
Add Contributing and License sections to README
HEL pushed to feat/readme-additions at HEL/midas 2026-07-09 22:37:12 +00:00
9a7c1e24f1 chore: add icon to README
HEL created branch feat/readme-additions in HEL/midas 2026-07-09 22:33:02 +00:00
HEL pushed to feat/readme-additions at HEL/midas 2026-07-09 22:33:02 +00:00
348352ab8c chore: add Contributing and License to README