comparison stackTest.agda @ 678:8dd9b11aa358

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 29 Nov 2021 15:40:55 +0900
parents 429ece770187
children 0b791ae19543
comparison
equal deleted inserted replaced
677:681577b60c35 678:8dd9b11aa358