Revision as of 17:52, 11 February 2022 (edit) Razetime (talk \| contribs) No edit summary ← Older edit		Revision as of 07:29, 14 February 2022 (edit) (undo) Razetime (talk \| contribs) No edit summary Newer edit →
Line 31: * monadic @ from atom? to type The system values (prefixed with an underscore) from K3 are no longer present in K4, which uses predefined names for system functions. Some other functions are prefixed with a <code>.</code>. == References ==

K4: Difference between revisions

K4 (edit)