added non standard ml files

SMLFamily / SMLFamily.github.io

Web site for standardml.org.

36 stars 6 forks source link

Closed crusso closed 9 years ago

crusso commented 9 years ago

Lars, here's my pull request for my revised SML specs. Not sure what I;m doing...