diff stackTest.agda @ 588:8627d35d4bff

add data bt', and some function
author ryokka
date Thu, 05 Dec 2019 20:38:54 +0900
parents 429ece770187
children 0b791ae19543
line wrap: on
line diff