| Sun, 01 Mar 2015 13:08:51 +0900 |
Yasutaka Higa |
Added tag paper_final for changeset 6a12eb22be8c
default tip
|
| Sun, 01 Mar 2015 13:05:17 +0900 |
Yasutaka Higa |
Update Makefile
paper_final
|
| Fri, 20 Feb 2015 22:14:01 +0900 |
Yasutaka Higa |
Fix presentation
|
| Thu, 19 Feb 2015 22:22:46 +0900 |
Yasutaka Higa |
Add generated slides in English
|
| Thu, 19 Feb 2015 22:22:28 +0900 |
Yasutaka Higa |
Mini fixes
|
| Thu, 19 Feb 2015 20:24:16 +0900 |
Yasutaka Higa |
Add slide in English
|
| Thu, 19 Feb 2015 14:15:02 +0900 |
Yasutaka Higa |
Added tag presen_final for changeset bcd56a757a1a
|
| Thu, 19 Feb 2015 14:14:52 +0900 |
Yasutaka Higa |
Fix presentation
presen_final
|
| Thu, 19 Feb 2015 09:07:23 +0900 |
Yasutaka Higa |
Add generated slides
|
| Thu, 19 Feb 2015 07:39:04 +0900 |
Yasutaka Higa |
Fix slides
|
| Wed, 18 Feb 2015 19:31:05 +0900 |
Yasutaka Higa |
Mini fixes
|
| Wed, 18 Feb 2015 16:26:00 +0900 |
Yasutaka Higa |
Add presentation
|
| Wed, 18 Feb 2015 14:54:47 +0900 |
Yasutaka Higa |
Added tag paper_v2 for changeset 0fc51df4c15c
|
| Wed, 18 Feb 2015 14:54:37 +0900 |
Yasutaka Higa |
paper version 2
paper_v2
|
| Wed, 18 Feb 2015 12:26:17 +0900 |
Yasutaka Higa |
Add original number count
|
| Wed, 18 Feb 2015 11:10:19 +0900 |
Yasutaka Higa |
Mini fixes
|
| Tue, 17 Feb 2015 17:48:30 +0900 |
Yasutaka Higa |
Fix
|
| 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
|
| 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
|
| Tue, 10 Feb 2015 15:30:01 +0900 |
Yasutaka Higa |
Temporary save
|
| Tue, 10 Feb 2015 12:48:02 +0900 |
Yasutaka Higa |
Add description prove method in agda
|
| Tue, 10 Feb 2015 11:38:36 +0900 |
Yasutaka Higa |
Add curry-howad isomorphism
|
| Mon, 09 Feb 2015 22:13:18 +0900 |
Yasutaka Higa |
Add description for natural deduction
|
| Mon, 09 Feb 2015 11:17:00 +0900 |
Yasutaka Higa |
Add monad in Haskell
|
| Mon, 09 Feb 2015 09:47:09 +0900 |
Yasutaka Higa |
Add natural transformation in program
|
| Sun, 08 Feb 2015 22:34:58 +0900 |
Yasutaka Higa |
Fix figures
|
| Sun, 08 Feb 2015 22:23:56 +0900 |
Yasutaka Higa |
Fix listings and page numbering
|
| Sun, 08 Feb 2015 21:19:55 +0900 |
Yasutaka Higa |
Add description for category/functor in program
|
| Sun, 08 Feb 2015 19:57:44 +0900 |
Yasutaka Higa |
Add description Monad
|
| Sun, 08 Feb 2015 15:43:20 +0900 |
Yasutaka Higa |
Add description natural transformation
|
| Sun, 08 Feb 2015 13:29:32 +0900 |
Yasutaka Higa |
Add Functor
|
| Sun, 08 Feb 2015 12:22:56 +0900 |
Yasutaka Higa |
Add folding for section
|
| Sun, 08 Feb 2015 12:20:17 +0900 |
Yasutaka Higa |
Add forgot figure files
|
| Sun, 08 Feb 2015 12:19:30 +0900 |
Yasutaka Higa |
Add figures category
|
| Sun, 08 Feb 2015 11:53:19 +0900 |
Yasutaka Higa |
Add Category definition
|
| Sat, 07 Feb 2015 19:41:05 +0900 |
Yasutaka Higa |
Split chapter 3
|
| Sat, 07 Feb 2015 19:30:09 +0900 |
Yasutaka Higa |
Add example used delta
|
| Sat, 07 Feb 2015 12:13:59 +0900 |
Yasutaka Higa |
Add Delta definition in Haskell
|
| Sat, 07 Feb 2015 11:41:37 +0900 |
Yasutaka Higa |
Update Makefile
|
| Sat, 07 Feb 2015 11:18:37 +0900 |
Yasutaka Higa |
Add description meta computation
|
| Fri, 06 Feb 2015 15:41:54 +0900 |
Yasutaka Higa |
Delte template chapter
|
| Fri, 06 Feb 2015 15:41:43 +0900 |
Yasutaka Higa |
Add introduction
|
| Tue, 03 Feb 2015 17:55:53 +0900 |
Yasutaka Higa |
Add table of contents v1
|
| Tue, 03 Feb 2015 17:24:05 +0900 |
Yasutaka Higa |
Add template
|
| Tue, 03 Feb 2015 17:23:44 +0900 |
Yasutaka Higa |
Add mind map
|
| Tue, 03 Feb 2015 16:47:18 +0900 |
Yasutaka Higa |
Add .hgignore
|
