All public logs

Combined display of all available logs of Metamaya. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

21:16, 25 May 2023 KalmanKeri talk contribs created page Work-in-progress (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...")
22:10, 9 May 2023 KalmanKeri talk contribs created page Syntax sugar (Pipe-calculus) (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...")
21:32, 14 March 2023 KalmanKeri talk contribs created page Ideas for a type system (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...")
10:48, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Navbar/styles.css by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Documentation/styles.css by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Template:Note/en by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Template:Note/styles.css by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Template:Pp-template by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Template:Module other by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Effective protection level by file upload (1 revision)
10:48, 4 February 2023 Admin talk contribs imported Template:Note/doc by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Documentation/config by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:TNT by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Documentation/i18n by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Documentation subpage/en by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:IsDocSubpage by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:TemplateData header by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:TemplateData header/en by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Yesno by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Transclude by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Navbar by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Navbar/en by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Sandbox other by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Documentation by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Message box by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Yesno by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Special:Badtitle/NS828:Arguments by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Documentation by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Documentation/en by file upload (1 revision)
10:44, 4 February 2023 Admin talk contribs imported Template:Documentation subpage by file upload (1 revision)
10:33, 4 February 2023 Admin talk contribs imported Template:Note by file upload (1 revision)
10:33, 4 February 2023 Admin talk contribs imported Template:Pagelang by file upload (1 revision)
10:33, 4 February 2023 Admin talk contribs imported Template:Dir by file upload (1 revision)
22:41, 2 February 2023 KalmanKeri talk contribs created page Playground (Created page with "This page is used to test wiki editing. <math>1</math>")
22:23, 2 February 2023 KalmanKeri talk contribs created page Pipe-calculus (Created page with "Pipe-calculus is a core calculus for programming.")
22:19, 2 February 2023 User account KalmanKeri talk contribs was created by Admin talk contribs
21:52, 2 February 2023 MediaWiki default talk contribs created page Main Page