Mercurial > hg > Papers > 2021 > soto-thesis

changeset 6:dcc839d6f569

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove garbage-file
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Thu, 11 Feb 2021 23:34:03 +0900
parents ae72a05db7e2
children 9d7e993dadbd
files paper/src/agda/abridgement.agdai paper/src/agda/cbc-agda.agdai paper/src/agda/cmp.agdai paper/src/agda/hoare-test.agdai paper/src/agda/hoare-while.agdai paper/src/agda/hoare-while1.agdai paper/src/agda/lambda.agdai paper/src/agda/plus2.agdai paper/src/agda/utilities.agdai
diffstat 9 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
Binary file paper/src/agda/abridgement.agdai has changed
Binary file paper/src/agda/cbc-agda.agdai has changed
Binary file paper/src/agda/cmp.agdai has changed
Binary file paper/src/agda/hoare-test.agdai has changed
Binary file paper/src/agda/hoare-while.agdai has changed
Binary file paper/src/agda/hoare-while1.agdai has changed
Binary file paper/src/agda/lambda.agdai has changed
Binary file paper/src/agda/plus2.agdai has changed
Binary file paper/src/agda/utilities.agdai has changed