Category:CafeOBJ: Difference between revisions
Content added Content deleted
m (→Examples) |
|||
Line 24: | Line 24: | ||
eq hello = "Hello World" . |
eq hello = "Hello World" . |
||
} |
} |
||
-- Start CafeOBJ interactive session at command line |
|||
--> cafeobj |
|||
-- Bring *in* the file at CafeOBJ prompt |
-- Bring *in* the file at CafeOBJ prompt |
||
in hello.cafe |
in hello.cafe |
||
Line 36: | Line 38: | ||
<lang CafeOB> |
<lang CafeOB> |
||
-- Here is a one line sorting program. |
-- Here is a one line sorting program. |
||
-- See [https://rosettacode.org/wiki/Category:CafeOBJ] for more traditional quicksort |
|||
mod! SORTING-NAT { |
mod! SORTING-NAT { |
||
pr(NAT) |
pr(NAT) |