Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
mlkit: init at 4.5.0 #84730
Motivation for this change
I don't think Nixpkgs contains quite enough Standard ML compilers. Here's one more. It's actively maintained and in use.