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: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...")