midas

HEL/midas

Author	SHA1	Message	Date
HEL	2a8b7d559c	tests: add simple gen test	2026-06-16 14:56:59 +02:00
HEL	da38cad23d	feat(tests): add generator tester	2026-06-16 14:56:59 +02:00
HEL	591012d059	fix(checker): allow calling AppliedType and UnknownType	2026-06-16 14:56:58 +02:00
HEL	4b1087d6b9	fix(cli): improve dump-registry command output	2026-06-16 14:56:57 +02:00
HEL	732f7b0796	feat(checker): add environment preamble this adds some builtin functions such as the builtin type constructors	2026-06-16 14:56:56 +02:00
HEL	c4062c9595	fix(checker): allow inferred return to be subtype of hint	2026-06-16 14:56:47 +02:00

Compare commits