law append_nil

minebender-game@1.0.0.0 · proof_base.bend:222

import Base

222law append_nil:
223  for -A: Data
224  for +xs: List<&2, A>
225  {List.append(&2, A, xs, Nil{}) == xs : List<&2, A>}