Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Started 1 mo 22 days ago

Took 4 min 4 sec

Build #3 (Mar 20, 2024, 6:35:05 AM)

Build Artifacts

	MLS.pdf	3.48 MB	view
	MLS.tar.gz	2.21 MB	view

Changes

Provide a draft specification using the Hindley-Milner algorithm. (details / githubweb)

Pull request #3491 updated at 6:34:48 AM on Mar 20, 2024

Revision: 365663fe7fc28fca4b7fdaba149a7331b4abe421
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-3491