Mercurial > hg > Papers > 2015 > atton-thesis

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 56: (0) -50 -30 +30 tip
age author description
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
Sun, 15 Feb 2015 10:33:47 +0900 Yasutaka Higa Writing description proofs of monad-laws for delta
Fri, 13 Feb 2015 18:10:07 +0900 Yasutaka Higa Fix source
Fri, 13 Feb 2015 17:51:57 +0900 Yasutaka Higa Add defintion monad-laws in agda
Fri, 13 Feb 2015 17:13:23 +0900 Yasutaka Higa Add proofs of functor-laws on delta
Fri, 13 Feb 2015 11:48:40 +0900 Yasutaka Higa Add delta definition in agda
Fri, 13 Feb 2015 11:31:46 +0900 Yasutaka Higa Add description functor record
Thu, 12 Feb 2015 18:08:01 +0900 Yasutaka Higa Add record of functor in agda
Thu, 12 Feb 2015 17:49:35 +0900 Yasutaka Higa Remove jlisting
Thu, 12 Feb 2015 17:46:01 +0900 Yasutaka Higa Add command for escape agda source
Thu, 12 Feb 2015 17:44:18 +0900 Yasutaka Higa Add escape script
Thu, 12 Feb 2015 15:22:21 +0900 Yasutaka Higa Update todo list
Thu, 12 Feb 2015 15:08:48 +0900 Yasutaka Higa Adjust monad class definition
Thu, 12 Feb 2015 14:51:39 +0900 Yasutaka Higa Split chapter to description monad. category/functional programming
Thu, 12 Feb 2015 14:43:25 +0900 Yasutaka Higa Update description of definition delta monad in haskell
Thu, 12 Feb 2015 14:34:35 +0900 Yasutaka Higa Add examples of meta computation for program modification
Thu, 12 Feb 2015 12:39:57 +0900 Yasutaka Higa Update description and delta definition
Thu, 12 Feb 2015 11:28:50 +0900 Yasutaka Higa Add todo list
Wed, 11 Feb 2015 13:12:38 +0900 Yasutaka Higa Add agda-resoning
Wed, 11 Feb 2015 12:37:46 +0900 Yasutaka Higa Fix function name
less more | rev 56: (0) -50 -30 +30 tip