Mercurial > hg > Members > Moririn
diff stack.agda @ 562:9df8103bc493
dec ≤′ done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 30 Mar 2018 10:52:51 +0900 |
parents | 988c12d7f887 |
children | 70b09cbefd45 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 30 Mar 2018 10:52:51 +0900 |
parents | 988c12d7f887 |
children | 70b09cbefd45 |