Munching squares: Difference between revisions
→{{header|ATS}}
Line 108:
(* Test that the index is not out of bounds high. This could
be proven without a runtime check, but doing that is left
as an exercise for
val () = assertloc (i < numcolors)
| |||