Category:CafeOBJ: Difference between revisions
Content added Content deleted
m (→Examples) |
|||
| Line 35: | Line 35: | ||
<lang CafeOB> |
<lang CafeOB> |
||
-- Here is a sorting program. |
-- Here is a one line sorting program. |
||
mod! SORTING-NAT { |
mod! SORTING-NAT { |
||
pr(NAT) |
pr(NAT) |
||