Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Provide a draft specification using the Hindley-Milner algorithm. (details)
Commit 365663fe7fc28fca4b7fdaba149a7331b4abe421 by quentinl
Provide a draft specification using the Hindley-Milner algorithm.

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
The file was addedRationaleMCP/0027/HindleyMilner.md