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 pushed to feat/license at HEL/midas 2026-07-10 00:19:36 +02:00
ab53ac67d5 chore: add Apache 2.0 license
HEL pushed tag v0.1.0-rc to HEL/midas 2026-07-09 23:44:58 +02:00
HEL released V0.1.0 Release Candidate at HEL/midas 2026-07-09 23:44:58 +02:00
HEL deleted branch feat/tidy-examples from HEL/midas 2026-07-09 23:41:50 +02:00
HEL pushed to main at HEL/midas 2026-07-09 23:41:50 +02:00
b3ff5a7b96 Merge pull request 'Tidy examples and minor housekeeping' (#39) from feat/tidy-examples into main
dce35391b4 chore: add justfile
28be45eb8f chore: add CI badge
b64110bb06 chore: remove draft architecture diagram
edc2a65492 chore: remove test file
Compare 8 commits »
HEL merged pull request HEL/midas#39 2026-07-09 23:41:49 +02:00
Tidy examples and minor housekeeping
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 23:41:21 +02:00
dce35391b4 chore: add justfile
28be45eb8f chore: add CI badge
b64110bb06 chore: remove draft architecture diagram
edc2a65492 chore: remove test file
dade8eb0f4 chore: move currency demo in subfolder
Compare 7 commits »
HEL created pull request HEL/midas#39 2026-07-09 23:39:23 +02:00
Tidy examples and minor housekeeping
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 23:37:48 +02:00
9f3c8b96e9 chore: add justfile
a195893c0e chore: add CI badge
6575ae525e chore: remove draft architecture diagram
24b5f796af chore: remove test file
Compare 4 commits »
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 23:21:04 +02:00
ec4fbe594c chore: move currency demo in subfolder
HEL created branch feat/tidy-examples in HEL/midas 2026-07-09 23:15:35 +02:00
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 23:15:35 +02:00
baed978a1d chore: remove syntax prototype examples
fcca7dc01c chore: update and clean some examples
Compare 2 commits »
HEL deleted branch feat/add-tests from HEL/midas 2026-07-09 22:19:45 +02:00
HEL pushed to main at HEL/midas 2026-07-09 22:19:44 +02:00
34072de270 Merge pull request 'Minor fixes and more tests' (#38) from feat/add-tests into main
2b09a29165 tests: add frame constraint generation test
309e1d4a5b tests: add generator test for simple syntax
74472c974b tests: add test covering some function subtyping rules
a9a3164c24 fix: implement missing methods on printer and highlighter
Compare 13 commits »
HEL merged pull request HEL/midas#38 2026-07-09 22:19:43 +02:00
Minor fixes and more tests
HEL created pull request HEL/midas#38 2026-07-09 22:19:25 +02:00
Minor fixes and more tests
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 22:16:35 +02:00
2b09a29165 tests: add frame constraint generation test
309e1d4a5b tests: add generator test for simple syntax
Compare 2 commits »
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 21:59:18 +02:00
74472c974b tests: add test covering some function subtyping rules
HEL pushed to feat/add-tests at HEL/midas 2026-07-09 19:05:13 +02:00
3f2ccf4101 tests: add test covering some function subtyping rules
HEL created branch feat/add-tests in HEL/midas 2026-07-09 18:57:37 +02:00