summary refs log tree commit diff
path: root/gnu/packages/sml.scm
AgeCommit message (Expand)Author
2017-12-13gnu: polyml: Update to 5.7.1.Tobias Geerinckx-Rice
2017-07-17gnu: Add Poly/ML.Andy Patterson