toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  sid  ] [  experimental  ]
[ Paquet source :  ]

Paquet : polyml (5.7.1-5) [debports]

Liens pour polyml

Screenshot

Ressources Debian :

Télécharger le paquet source  :

Introuvable

Responsables :

Ressources externes :

Paquets similaires :

interpréteur et compilateur interactif pour Standard ML

Poly/ML est une mise en œuvre du langage de programmation Standard ML. Standard ML est un langage de programmation fonctionnelle polyvalent, modulaire, à typage sûr et strict. Poly/ML est un interpréteur et compilateur conforme à SML 97 gérant la création d’exécutables autonomes avec un interpréteur de langage REPL (Read–Eval–Print Loop – boucle lecture, évaluation et interprétation).

Ce paquet fournit l’interpréteur et le compilateur.

Autres paquets associés à polyml

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger polyml

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
hppa (portage non officiel) 846,6 ko3 883,0 ko [liste des fichiers]