| Tue, 17 Feb 2015 17:41:32 +0900 |
Yasutaka Higa |
Mini fixes
|
| Tue, 17 Feb 2015 16:56:18 +0900 |
Yasutaka Higa |
Added tag prepaper_submit for changeset f090afc484e2
|
| Tue, 17 Feb 2015 16:50:11 +0900 |
Yasutaka Higa |
Update prepaper
prepaper_submit
|
| Tue, 17 Feb 2015 16:40:06 +0900 |
Shinji KONO |
fix
|
| Tue, 17 Feb 2015 16:11:40 +0900 |
Yasutaka Higa |
Mini fixes
|
| Tue, 17 Feb 2015 15:33:22 +0900 |
Yasutaka Higa |
Update preprint
|
| Tue, 17 Feb 2015 14:50:32 +0900 |
Yasutaka Higa |
Update preprint
|
| Tue, 17 Feb 2015 14:32:40 +0900 |
Yasutaka Higa |
Mini fixes
|
| Tue, 17 Feb 2015 12:28:48 +0900 |
Yasutaka Higa |
Added tag prepaper_v1 for changeset f15155ec9bd9
|
| Tue, 17 Feb 2015 12:28:35 +0900 |
Yasutaka Higa |
Add generated prepaper PDF
prepaper_v1
|
| Tue, 17 Feb 2015 12:28:08 +0900 |
Yasutaka Higa |
Add agda wiki into bibliography
|
| Tue, 17 Feb 2015 12:23:20 +0900 |
Yasutaka Higa |
Adjust prepaper
|
| Tue, 17 Feb 2015 12:08:10 +0900 |
Yasutaka Higa |
Writing prepaper...
|
| Tue, 17 Feb 2015 10:09:22 +0900 |
Yasutaka Higa |
Add abstract in English to prepaper
|
| Mon, 16 Feb 2015 17:16:20 +0900 |
Yasutaka Higa |
Add template of prepaper
|
| Mon, 16 Feb 2015 17:09:53 +0900 |
Yasutaka Higa |
Move papers into directory
|
| Mon, 16 Feb 2015 16:29:31 +0900 |
Yasutaka Higa |
Added tag paper_v1 for changeset c208d759b038
|
| Mon, 16 Feb 2015 16:26:01 +0900 |
Yasutaka Higa |
Add generated pdf
paper_v1
|
| Mon, 16 Feb 2015 16:24:42 +0900 |
Yasutaka Higa |
Fixes
|
| Mon, 16 Feb 2015 15:05:11 +0900 |
Yasutaka Higa |
Fix layouts
|
| Mon, 16 Feb 2015 13:47:50 +0900 |
Yasutaka Higa |
Add proof DeltaM
|
| Mon, 16 Feb 2015 12:40:53 +0900 |
Yasutaka Higa |
Add thebibliography
|
| Sun, 15 Feb 2015 22:38:43 +0900 |
Yasutaka Higa |
Add original sources
|
| Sun, 15 Feb 2015 21:56:19 +0900 |
Yasutaka Higa |
Add thanks
|
| Sun, 15 Feb 2015 21:46:38 +0900 |
Yasutaka Higa |
Add Future work
|
| Sun, 15 Feb 2015 17:56:51 +0900 |
Yasutaka Higa |
Add DeltaM example
|
| Sun, 15 Feb 2015 14:07:07 +0900 |
Yasutaka Higa |
Add description for DeltaM definition
|
| Sun, 15 Feb 2015 12:35:58 +0900 |
Yasutaka Higa |
Wrote description monad-laws on delta
|
| Sun, 15 Feb 2015 12:16:55 +0900 |
Yasutaka Higa |
Fix appendix
|
| Sun, 15 Feb 2015 11:17:59 +0900 |
Yasutaka Higa |
Move proofs to appendix
|
