Applying Hindley-Milner to unit-checking#3491

Open

qlambert-pro wants to merge 3 commits intomodelica:MCP/0027from qlambert-pro:MCP/0027+Hindley-Milner

+370

Commits on Oct 4, 2022

Initial commit of ReadMe.md for MCP-0027
henrikt-ma
committed

Commits on Mar 20, 2024

Provide a draft specification using the Hindley-Milner algorithm.

qlambert-pro
and
henrikt-ma
committed

Commits on Mar 27, 2024

Fix typo

qlambert-pro
and
HansOlsson
authored