MLKit wiki: Difference between revisions
Jump to navigation
Jump to search
m (Text replace - "(\|) *wiki_" to "$1") |
Hoof Hearted (talk | contribs) m (Text replacement - "statistics_URL" to "statistics URL") |
||
| (One intermediate revision by one other user not shown) | |||
| Line 2: | Line 2: | ||
|logo = No | |logo = No | ||
|URL = http://www.it-c.dk/research/mlkit/ | |URL = http://www.it-c.dk/research/mlkit/ | ||
| | |recentchanges URL = http://www.it-c.dk/research/mlkit/index.php/Special:Recentchanges | ||
| | |wikinode URL = No | ||
|status = YourWikiStatus | |status = YourWikiStatus | ||
|language = YourWikiLanguage | |language = YourWikiLanguage | ||
| Line 34: | Line 34: | ||
{{Size | {{Size | ||
| | |statistics URL = No | ||
|pages = <!-- input number of pages, if unknown leave blank --> | |pages = <!-- input number of pages, if unknown leave blank --> | ||
}} | }} | ||
Latest revision as of 23:01, 25 January 2023
|
MLKit wiki Recent changes [No WikiNode] [No About] [No Mobile URL] |
|---|---|
| Status: | YourWikiStatus |
| Language: | YourWikiLanguage |
| Edit mode: | YourWikiEditMode |
| Wiki engine: | YourWikiEngine |
| Wiki license: | [[:Category:Wiki {{{license}}}|{{{license}}}]] |
| Main topic: | YourWikiTopic |
Description[edit]
The MLKit is a compiler for the programming language Standard ML.
The MLKit wiki discusses the compiler, how to improve it and how to use it.
| This MLKit wiki page needs to have some or all structured data added, from an appropriate infobox. Please see category: Wikis to add |
| Wiki size: | unknown size [No see stats] |