diff stack.agda @ 690:a971a954a345

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 01 Dec 2021 11:24:42 +0900
parents 73fc32092b64
children 0b791ae19543
line wrap: on
line diff