MediaWiki API result
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"batchcomplete": "",
"continue": {
"lecontinue": "20230204104835|27",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 37,
"ns": 0,
"title": "Work-in-progress",
"pageid": 37,
"logpage": 37,
"params": {},
"type": "create",
"action": "create",
"user": "KalmanKeri",
"timestamp": "2023-05-25T21:16:28Z",
"comment": "Created page with \"This page is temporary home of immature content. == Pipe-calculus and Lambda calculus == === Encoding lambda calculus in pipe-calculus === Lambda calculus is probably the most popular and well researched model of computation. It is an inevitable reference point for any calculus with computational capabilities. One of the most interesting questions is whether (and how) lambda calculus can be encoded into another calculus. Success of this task proves Turing-completeness...\""
},
{
"logid": 36,
"ns": 0,
"title": "Syntax sugar (Pipe-calculus)",
"pageid": 36,
"logpage": 36,
"params": {},
"type": "create",
"action": "create",
"user": "KalmanKeri",
"timestamp": "2023-05-09T22:10:27Z",
"comment": "Created page with \"Thoughtful application of syntax sugar makes programs easy to read, more compact and familiar to programmers. The syntax extensions described here are lightweight and well-defined. == Let ... in == <math> \\def\\seq{\\mathrel{;}} \\def\\succeed{\\textbf{succeed}} \\def\\alt{\\mid} \\def\\fail{\\textbf{fail}} \\def\\pipe{\\rhd} \\def\\pass{\\textbf{pass}} \\def\\in{\\,?} \\def\\out{!} \\def\\rew{\\mathrel{\\Rightarrow}\\,} </math> <math>\\mathsf{let}</math> is a popular construct in functional lang...\""
},
{
"logid": 35,
"ns": 0,
"title": "Ideas for a type system",
"pageid": 35,
"logpage": 35,
"params": {},
"type": "create",
"action": "create",
"user": "KalmanKeri",
"timestamp": "2023-03-14T21:32:50Z",
"comment": "Created page with \"[[Pipe-calculus]] is a typeless core calculus, but a language based on it doesn't have to be. There are a few preliminary thoughts that guide the search for a suitable type system. * Types are not added directly to the core calculus but to the surface language. * The type system should naturally fit to the calculus (this is a subtle guideline that is elaborated below). * The type checking algorithm must be easy to implement in the typeless core language. The last point...\""
},
{
"logid": 34,
"ns": 10,
"title": "Template:Note/doc",
"pageid": 34,
"logpage": 34,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 33,
"ns": 828,
"title": "Special:Badtitle/NS828:Effective protection level",
"pageid": 33,
"logpage": 33,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 32,
"ns": 10,
"title": "Template:Module other",
"pageid": 32,
"logpage": 32,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 31,
"ns": 10,
"title": "Template:Pp-template",
"pageid": 31,
"logpage": 31,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 30,
"ns": 10,
"title": "Template:Note/styles.css",
"pageid": 30,
"logpage": 30,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 29,
"ns": 10,
"title": "Template:Note/en",
"pageid": 29,
"logpage": 29,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
},
{
"logid": 28,
"ns": 828,
"title": "Special:Badtitle/NS828:Documentation/styles.css",
"pageid": 28,
"logpage": 28,
"params": {
"count": 1
},
"type": "import",
"action": "upload",
"user": "Admin",
"timestamp": "2023-02-04T10:48:35Z",
"comment": ""
}
]
}
}