16 Examples🔗ℹ

The repository’s examples directory has short programs. In each, a commented-out definition or call marked error: is one the checker rejects; uncomment it to see the message.

• "div-0.rhm" to "div-4.rhm": integers with a distinguished zero, from plain Shplait to a division whose divisor cannot be zero.

• "str-0.rhm" to "str-2.rhm": indexing into a string, with the index’s range depending on the string, and through a concatenation.

• "turnstile.rhm": a coin-operated turnstile, with operations that require a state and an interface that checks it.