Mercurial > hg > Papers > 2017 > atton-master
annotate paper/thanks.tex @ 52:fb42478e4c96
Writing agda description
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 31 Jan 2017 16:41:36 +0900 |
parents | d96616ca051a |
children |
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 31 Jan 2017 16:41:36 +0900 |
parents | d96616ca051a |
children |