log

age author description
2015-02-12 Yasutaka Higa Update todo list
2015-02-12 Yasutaka Higa Adjust monad class definition
2015-02-12 Yasutaka Higa Split chapter to description monad. category/functional programming
2015-02-12 Yasutaka Higa Update description of definition delta monad in haskell
2015-02-12 Yasutaka Higa Add examples of meta computation for program modification
2015-02-12 Yasutaka Higa Update description and delta definition
2015-02-12 Yasutaka Higa Add todo list
2015-02-11 Yasutaka Higa Add agda-resoning
2015-02-11 Yasutaka Higa Fix function name
2015-02-10 Yasutaka Higa Temporary save
2015-02-10 Yasutaka Higa Add description prove method in agda
2015-02-10 Yasutaka Higa Add curry-howad isomorphism
2015-02-09 Yasutaka Higa Add description for natural deduction
2015-02-09 Yasutaka Higa Add monad in Haskell
2015-02-09 Yasutaka Higa Add natural transformation in program
2015-02-08 Yasutaka Higa Fix figures
2015-02-08 Yasutaka Higa Fix listings and page numbering
2015-02-08 Yasutaka Higa Add description for category/functor in program
2015-02-08 Yasutaka Higa Add description Monad
2015-02-08 Yasutaka Higa Add description natural transformation
2015-02-08 Yasutaka Higa Add Functor
2015-02-08 Yasutaka Higa Add folding for section
2015-02-08 Yasutaka Higa Add forgot figure files
2015-02-08 Yasutaka Higa Add figures category
2015-02-08 Yasutaka Higa Add Category definition
2015-02-07 Yasutaka Higa Split chapter 3
2015-02-07 Yasutaka Higa Add example used delta
2015-02-07 Yasutaka Higa Add Delta definition in Haskell
2015-02-07 Yasutaka Higa Update Makefile
2015-02-07 Yasutaka Higa Add description meta computation
2015-02-06 Yasutaka Higa Delte template chapter
2015-02-06 Yasutaka Higa Add introduction
2015-02-03 Yasutaka Higa Add table of contents v1
2015-02-03 Yasutaka Higa Add template
2015-02-03 Yasutaka Higa Add mind map
2015-02-03 Yasutaka Higa Add .hgignore