Mercurial > hg > Papers > 2015 > atton-thesis
graph
-
Update preprintTue, 17 Feb 2015 15:33:22 +0900, by Yasutaka Higa
-
Update preprintTue, 17 Feb 2015 14:50:32 +0900, by Yasutaka Higa
-
Mini fixesTue, 17 Feb 2015 14:32:40 +0900, by Yasutaka Higa
-
Added tag prepaper_v1 for changeset f15155ec9bd9Tue, 17 Feb 2015 12:28:48 +0900, by Yasutaka Higa
-
Add agda wiki into bibliographyTue, 17 Feb 2015 12:28:08 +0900, by Yasutaka Higa
-
Adjust prepaperTue, 17 Feb 2015 12:23:20 +0900, by Yasutaka Higa
-
Writing prepaper...Tue, 17 Feb 2015 12:08:10 +0900, by Yasutaka Higa
-
Add abstract in English to prepaperTue, 17 Feb 2015 10:09:22 +0900, by Yasutaka Higa
-
Add template of prepaperMon, 16 Feb 2015 17:16:20 +0900, by Yasutaka Higa
-
Move papers into directoryMon, 16 Feb 2015 17:09:53 +0900, by Yasutaka Higa
-
Added tag paper_v1 for changeset c208d759b038Mon, 16 Feb 2015 16:29:31 +0900, by Yasutaka Higa
-
FixesMon, 16 Feb 2015 16:24:42 +0900, by Yasutaka Higa
-
Fix layoutsMon, 16 Feb 2015 15:05:11 +0900, by Yasutaka Higa
-
Add proof DeltaMMon, 16 Feb 2015 13:47:50 +0900, by Yasutaka Higa
-
Add thebibliographyMon, 16 Feb 2015 12:40:53 +0900, by Yasutaka Higa
-
Add original sourcesSun, 15 Feb 2015 22:38:43 +0900, by Yasutaka Higa
-
Add thanksSun, 15 Feb 2015 21:56:19 +0900, by Yasutaka Higa
-
Add Future workSun, 15 Feb 2015 21:46:38 +0900, by Yasutaka Higa
-
Add DeltaM exampleSun, 15 Feb 2015 17:56:51 +0900, by Yasutaka Higa
-
Add description for DeltaM definitionSun, 15 Feb 2015 14:07:07 +0900, by Yasutaka Higa
-
Wrote description monad-laws on deltaSun, 15 Feb 2015 12:35:58 +0900, by Yasutaka Higa
-
Fix appendixSun, 15 Feb 2015 12:16:55 +0900, by Yasutaka Higa
-
Move proofs to appendixSun, 15 Feb 2015 11:17:59 +0900, by Yasutaka Higa
-
Writing description proofs of monad-laws for deltaSun, 15 Feb 2015 10:33:47 +0900, by Yasutaka Higa
-
Fix sourceFri, 13 Feb 2015 18:10:07 +0900, by Yasutaka Higa
-
Add defintion monad-laws in agdaFri, 13 Feb 2015 17:51:57 +0900, by Yasutaka Higa
-
Add proofs of functor-laws on deltaFri, 13 Feb 2015 17:13:23 +0900, by Yasutaka Higa
-
Add delta definition in agdaFri, 13 Feb 2015 11:48:40 +0900, by Yasutaka Higa