comparison cbc/stack-subtype.agda @ 65:c87e85ffde9a

Trying define n-push/n-pop equiv...
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 14 Jan 2017 05:59:49 +0000 (2017-01-14)
parents 44d448a978d3
children
comparison
equal deleted inserted replaced
64:44d448a978d3 65:c87e85ffde9a