Cuneiform law
Unlike modern codes, Cuneiform law provides no universal formula for general areas of law. Rather, laws typically consist of specific "if... then..." cases that are meant to act as an example or precedent. Punishments for crimes vary from code to code, but not all prescribe vengeance. Some call only for fines in certain instances, such as in the Code of Ur-Nammu, where one line reads: "If a man knocks out the eye of another man, he shall weigh out one-half a mina of silver." These cases are sometimes arranged in a seemingly random order, though this may be the result of an inability to properly interpret them today as they would have been at the time they were in force.
Cuneiform (programming language)
Cuneiform provides a simple, statically checked type system. While Cuneiform provides lists as compound data types it omits traditional list accessors (head and tail) to avoid the possibility of runtime errors which might arise when accessing the empty list. Instead lists are accessed in an all-or-nothing fashion by only mapping or folding over them. Additionally, Cuneiform omits (at the organizational level) arithmetics which excludes the possibility of division by zero. The omission of any partially defined operation allows to guarantee that runtime errors can arise exclusively in foreign code.