midas

HEL/midas

Author	SHA1	Message	Date
HEL	1aff8e574d	tests: add simple gen test	2026-06-16 14:41:19 +02:00
HEL	498e05f963	feat(tests): add generator tester	2026-06-16 14:41:18 +02:00
HEL	a9a4d6d4c1	fix(checker): allow calling AppliedType and UnknownType	2026-06-16 14:04:20 +02:00
HEL	60144f8671	fix(cli): improve dump-registry command output	2026-06-16 14:03:13 +02:00
HEL	bbede34a84	feat(checker): add environment preamble this adds some builtin functions such as the builtin type constructors	2026-06-16 14:02:45 +02:00
HEL	16d6e1b603	fix(checker): allow inferred return to by subtype of hint	2026-06-16 12:55:05 +02:00

Compare commits