Mercurial > hg > Papers > 2020 > ryokka-sigss
log src/Reasoning.agda.replaced @ 0:85ee6174f90a default tip
age | author | description |
---|---|---|
Wed, 12 Feb 2020 17:55:00 +0900 | ryokka | add paper default tip |
age | author | description |
---|---|---|
Wed, 12 Feb 2020 17:55:00 +0900 | ryokka | add paper default tip |