law rev_acc

minebender-game@1.0.0.0 · proof_walk.bend:126

import Base

126law rev_acc:
127  for -A: Data
128  for +xs: List<&2, A>
129  for +acc: List<&2, A>
130  {List.reverse.go(&2, A, xs, acc) == List.append(&2, A, List.reverse.go(&2, A, xs, Nil{}), acc) : List<&2, A>}