Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/SMLFamily below:

The Standard ML Language Family · GitHub

• Pricing

This organization maintains the various definitions of Standard ML.

1. A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

   TeX 200 10

2. The Definition of Standard ML (1990)

   TeX 123 11

3. The Definition of Standard ML, Revised (1997)

   TeX 115 13

4. The Mechanization of Standard ML

   73 4

5. SML, The Living Language (aka, Successor ML)

   72 6

6. Repository and Wiki for enriching the Standard ML Basis Library

   Standard ML 64 5

• Successor-ML Public

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  SMLFamily/Successor-ML’s past year of commit activity
• SMLFamily/SMLFamily.github.io’s past year of commit activity HTML 36 6 4 2 Updated Oct 17, 2023
• SMLFamily/The-Mechanization-of-Standard-ML’s past year of commit activity 73 4 0 0 Updated Jul 18, 2022
• BasisLibrary Public

  Repository and Wiki for enriching the Standard ML Basis Library

  SMLFamily/BasisLibrary’s past year of commit activity Standard ML 64 5 31 1 Updated Nov 30, 2021
• SMLFamily/The-Definition-of-Standard-ML-Revised’s past year of commit activity TeX 115 13 2 1 Updated May 13, 2017
• SMLFamily/SML-The-Living-Language’s past year of commit activity 72 6 1 0 Updated Apr 4, 2016
• SMLFamily/The-Definition-of-Standard-ML’s past year of commit activity TeX 123 11 1 0 Updated Oct 27, 2014

Loading…

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4