Category:CafeOBJ: Difference between revisions
→Examples
Line 47:
vars N N' : Nat
-- A very short sorting program using
-- The program is in the form of a condition transition, which will swap N and N' if N is larger or equal to N'.
-- This is a equation in POA logic so there is no need for an intermediate variable to do the swap.
|