Mercurial > hg > Members > Moririn
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 |
author | ryokka |
---|---|
date | Thu, 05 Dec 2019 20:38:54 +0900 |
parents | 429ece770187 |
children | 0b791ae19543 |