Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL deleted branch feat/license from HEL/midas 2026-07-09 22:20:39 +00:00
HEL pushed to main at HEL/midas 2026-07-09 22:20:39 +00: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-09 22:20:37 +00:00
Add Apache 2.0 license
HEL created pull request HEL/midas#40 2026-07-09 22:20:14 +00:00
Add Apache 2.0 license
HEL created branch feat/license in HEL/midas 2026-07-09 22:19:36 +00:00
HEL pushed to feat/license at HEL/midas 2026-07-09 22:19:36 +00:00
ab53ac67d5 chore: add Apache 2.0 license
HEL pushed tag v0.1.0-rc to HEL/midas 2026-07-09 21:44:58 +00:00
HEL released V0.1.0 Release Candidate at HEL/midas 2026-07-09 21:44:58 +00:00
HEL deleted branch feat/tidy-examples from HEL/midas 2026-07-09 21:41:50 +00:00
HEL pushed to main at HEL/midas 2026-07-09 21:41:50 +00: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 21:41:49 +00:00
Tidy examples and minor housekeeping
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 21:41:21 +00: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 21:39:23 +00:00
Tidy examples and minor housekeeping
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 21:37:48 +00: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 21:21:04 +00:00
ec4fbe594c chore: move currency demo in subfolder
HEL created branch feat/tidy-examples in HEL/midas 2026-07-09 21:15:35 +00:00
HEL pushed to feat/tidy-examples at HEL/midas 2026-07-09 21:15:35 +00: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 20:19:45 +00:00
HEL pushed to main at HEL/midas 2026-07-09 20:19:44 +00: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 20:19:43 +00:00
Minor fixes and more tests