log

age author description
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