aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/sml.scm
AgeCommit message (Expand)Author
2018-03-17gnu: Fix common unquote typos....Tobias Geerinckx-Rice
2017-12-13gnu: polyml: Update to 5.7.1....Tobias Geerinckx-Rice
2017-07-17gnu: Add Poly/ML....Andy Patterson