law add_zero

bend-ml-llama@0.2.1.0 · main.bend:29

import Base

29law add_zero:
30  for a: Nat
31  {Nat.add(a, 0n) == a : Nat}