Default Branch

main 288d15a9bc · Merge pull request 'Usage documentation' (#7) from feat/usage-documentation into main · Updated 2026-06-05 10:29:42 +00:00

ZIP  TAR.GZ

Branches

feat/generics c6ead886ec · feat: add function type to midas syntax · Updated 2026-06-09 21:48:06 +00:00    HEL	0 35	Compare	ZIP  TAR.GZ
feat/subtyping e0179bc442 · feat(checker): handle assignments to attributes · Updated 2026-06-07 15:50:56 +00:00    HEL	0 15	#8 Open	ZIP  TAR.GZ