FICHA · AUR

polyml-fixes-git

Poly/ML implementation of Standard ML (latest release + fixes)

  • Standard ML compiler
  • CLI
  • Dev
  • Launchable
  • Runs in terminal
official+codex · reviewed · Jun 3, 2026 description in en

Description

Standard ML programs can be compiled and run with a Poly/ML implementation that includes release fixes. This language tool is useful for developers, students, and researchers working with ML-family code. It executes user programs, so source code and build scripts should be reviewed before running.

How to run

poly

Commands: poly

Permissions

Permissions not analysed for this source yet.