Combinatorial enumeration and exact counting in pure Standard ML: permutations, combinations, partitions, Gray codes, Catalan/Stirling numbers (IntInf). MLton + Poly/ML.
library pure sml enumeration counting combinatorics permutations combinations standard-ml mlton deterministic polyml sjqtentacles-web intinf
-
Updated
Jun 23, 2026 - Standard ML