Mercurial > hg > Gears > GearsAgda

log stackTest.agda @ 944:911900003d25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
2023-07-10 Moririn test
2023-07-10 Moririn te
2018-01-11 Shinji KONO ...
2018-01-10 ryokka add redBlackTreeTest.agda test5,test51. but not work
2018-01-10 ryokka add stackTest redBlackTreeTest
less more | (0) tip