Mercurial > hg > GearsTemplate
diff src/test/helper_cuda.h @ 540:0a723e418b2a
add some more directives in agda
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | 609bf62768b9 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | 609bf62768b9 |
children |