dmacqueen

Pinned Repositories

• NewFrontEnd

  10

• SML-The-Living-Language

  SML, The Living Language (aka, Successor ML)

  721716

• SMLFamily.github.io

  Web site for standardml.org.

  Language:HTML361856

• The-Definition-of-Standard-ML

  The Definition of Standard ML (1990)

  Language:TeX12222111

• The-Definition-of-Standard-ML-Revised

  The Definition of Standard ML, Revised (1997)

  Language:TeX11125113

• .github

  Profile project for SML/NJ organization

  0300

• legacy

  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

  Language:Standard ML2963139

• prettyprint

  New SML/NJ Prettyprint library.

  Language:Standard ML6400

• smlnj

  Standard ML of New Jersey

  Language:Standard ML1771327914

dmacqueen's Repositories