Mercurial > hg > Papers > 2023 > soto-master

comparison Paper/src/cbc/fib @ 3:c28e8156a37b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add paper init~agda
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Fri, 20 Jan 2023 13:40:03 +0900
parents
children
comparison
equal deleted inserted replaced
2:0425278b683b 3:c28e8156a37b
1 (binary file application/octet-stream, hash: 44e3e82bda41f327eac73565a6d6ddb692ada3c5)