Pull Requests - midas - HERDAC

HEL/midas

Labels Milestones New Pull Request

Fixes and small demo

#19 by HEL was merged 2026-06-23 08:15:56 +00:00

feat/demonstration

Generic call unification

#18 by HEL was merged 2026-06-21 11:41:48 +00:00

feat/unification

Stubs generator

#17 by HEL was merged 2026-06-20 15:44:35 +00:00

Variance inference and subtyping

#16 by HEL was merged 2026-06-20 14:55:02 +00:00

Constraint types

#15 by HEL was merged 2026-06-19 20:21:04 +00:00

feat/constraint-type

Update README

#14 by HEL was merged 2026-06-19 13:25:09 +00:00

fix/update-readme

Dictionaries

#13 by HEL was merged 2026-06-16 18:42:13 +00:00

feat/dictionaries

Cast assertions and generator tests

#12 by HEL was merged 2026-06-16 12:57:49 +00:00

feat/cast-assertions

For loops

#11 by HEL was merged 2026-06-15 22:51:12 +00:00

Simple code generator and CLI redesign

#10 by HEL was merged 2026-06-15 12:29:22 +00:00

feat/code-generator

Refactor, generics, methods, overloads and more

#9 by HEL was merged 2026-06-14 22:13:14 +00:00

Subtyping

#8 by HEL was merged 2026-06-14 22:01:45 +00:00

Usage documentation

#7 by HEL was merged 2026-06-05 10:29:42 +00:00

feat/usage-documentation

Basic type checker

#6 by HEL was merged 2026-06-05 09:31:54 +00:00

feat/basic-type-checker

Improve syntax and types

#5 by HEL was merged 2026-06-05 09:20:56 +00:00

feat/basic-type-checker

feat/improve-syntax-and-types

Python parser

#4 by HEL was merged 2026-05-26 08:28:42 +00:00

feat/python-parser

Revise syntax

#3 by HEL was merged 2026-05-22 08:01:00 +00:00

feat/revise-syntax

Improve testing framework

#2 by HEL was merged 2026-05-20 11:17:01 +00:00

feat/test-framework

Syntax prototype and basic parser

#1 by HEL was merged 2026-05-19 08:34:07 +00:00

feat/syntax-prototype