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 deleted branch fix/remove-raises from HEL/midas 2026-07-10 11:35:04 +02:00
HEL pushed to main at HEL/midas 2026-07-10 11:35:04 +02: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 11:35:02 +02:00
Avoid raising exceptions, report diagnostics instead
HEL created pull request HEL/midas#42 2026-07-10 11:33:56 +02:00
Avoid raising exceptions, report diagnostics instead
HEL created branch fix/remove-raises in HEL/midas 2026-07-10 11:32:20 +02:00
HEL pushed to fix/remove-raises at HEL/midas 2026-07-10 11:32:20 +02: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-10 00:41:29 +02:00
HEL deleted branch feat/readme-additions from HEL/midas 2026-07-10 00:39:10 +02:00
HEL pushed to main at HEL/midas 2026-07-10 00:39:10 +02: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-10 00:39:09 +02:00
Add Contributing and License sections to README
HEL pushed to feat/readme-additions at HEL/midas 2026-07-10 00:38:43 +02: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-10 00:37:46 +02:00
Add Contributing and License sections to README
HEL pushed to feat/readme-additions at HEL/midas 2026-07-10 00:37:12 +02:00
9a7c1e24f1 chore: add icon to README
HEL created branch feat/readme-additions in HEL/midas 2026-07-10 00:33:02 +02:00
HEL pushed to feat/readme-additions at HEL/midas 2026-07-10 00:33:02 +02:00
348352ab8c chore: add Contributing and License to README
HEL deleted branch feat/license from HEL/midas 2026-07-10 00:20:39 +02:00
HEL pushed to main at HEL/midas 2026-07-10 00:20:39 +02:00
3e06a236b5 Merge pull request 'Add Apache 2.0 license' (#40) from feat/license into main
ab53ac67d5 chore: add Apache 2.0 license
Compare 2 commits »
HEL merged pull request HEL/midas#40 2026-07-10 00:20:37 +02:00
Add Apache 2.0 license
HEL created pull request HEL/midas#40 2026-07-10 00:20:14 +02:00
Add Apache 2.0 license
HEL created branch feat/license in HEL/midas 2026-07-10 00:19:36 +02:00