PrototypeCommon
SMLFamily/The-Definition-of-Standard-ML
The Definition of Standard ML (1990)
- Owner
- SMLFamily (organization)
- Stars
- Stars: 126
- Forks
- Forks: 12
- Language
- TeX
- License
- None
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by SMLFamily
All 3 repos by SMLFamily- SMLFamily/Successor-MLStars: 210TeXPrototype
- SMLFamily/The-Definition-of-Standard-ML-RevisedStars: 120TeXPrototype
Nearby in TeX
All TeX repos- JuliaEarth/geospatial-data-science-with-juliaStars: 126TeXPrototype
- sustcsonglin/linear-attention-and-beyond-slidesStars: 126TeXPrototype
- adc666sav466/-gemini-Stars: 126TeXPrototype
- Max-Hailperin/Operating-Systems-and-Middleware--Supporting-Controlled-InteractionStars: 126TeXPrototype
- ros/cheatsheetStars: 126TeXPrototype
- michaeldorner/DecisionTreesStars: 126TeXPrototype