Pull Requests - midas - HERDAC

HEL/midas

Labels Milestones New Pull Request

WIP: Subtyping

#8 opened 2026-06-08 07:13:28 +00:00 by HEL

0 / 1

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