aboutsummaryrefslogtreecommitdiff
path: root/development/polyml/slack-desc
AgeCommit message (Expand)Author
2018-06-05development/polyml: Switch to https.David Spencer
2013-11-22various: Fix slack-desc formatting and comment nit picks.dsomero
2010-05-15development/polyml: Added (full implementation of Standard ML)Eugene Suter