Mercurial > hg > Papers > 2015 > atton-thesis
graph
-
Update preprint2015-02-17, by Yasutaka Higa
-
Update preprint2015-02-17, by Yasutaka Higa
-
Mini fixes2015-02-17, by Yasutaka Higa
-
Added tag prepaper_v1 for changeset f15155ec9bd92015-02-17, by Yasutaka Higa
-
Add agda wiki into bibliography2015-02-17, by Yasutaka Higa
-
Adjust prepaper2015-02-17, by Yasutaka Higa
-
Writing prepaper...2015-02-17, by Yasutaka Higa
-
Add abstract in English to prepaper2015-02-17, by Yasutaka Higa
-
Add template of prepaper2015-02-16, by Yasutaka Higa
-
Move papers into directory2015-02-16, by Yasutaka Higa
-
Added tag paper_v1 for changeset c208d759b0382015-02-16, by Yasutaka Higa
-
Fixes2015-02-16, by Yasutaka Higa
-
Fix layouts2015-02-16, by Yasutaka Higa
-
Add proof DeltaM2015-02-16, by Yasutaka Higa
-
Add thebibliography2015-02-16, by Yasutaka Higa
-
Add original sources2015-02-15, by Yasutaka Higa
-
Add thanks2015-02-15, by Yasutaka Higa
-
Add Future work2015-02-15, by Yasutaka Higa
-
Add DeltaM example2015-02-15, by Yasutaka Higa
-
Add description for DeltaM definition2015-02-15, by Yasutaka Higa
-
Wrote description monad-laws on delta2015-02-15, by Yasutaka Higa
-
Fix appendix2015-02-15, by Yasutaka Higa
-
Move proofs to appendix2015-02-15, by Yasutaka Higa
-
Writing description proofs of monad-laws for delta2015-02-15, by Yasutaka Higa
-
Fix source2015-02-13, by Yasutaka Higa
-
Add defintion monad-laws in agda2015-02-13, by Yasutaka Higa
-
Add proofs of functor-laws on delta2015-02-13, by Yasutaka Higa
-
Add delta definition in agda2015-02-13, by Yasutaka Higa
-
Add description functor record2015-02-13, by Yasutaka Higa
-
Add record of functor in agda2015-02-12, by Yasutaka Higa
-
Remove jlisting2015-02-12, by Yasutaka Higa
-
Add command for escape agda source2015-02-12, by Yasutaka Higa
-
Add escape script2015-02-12, by Yasutaka Higa
-
Update todo list2015-02-12, by Yasutaka Higa
-
Adjust monad class definition2015-02-12, by Yasutaka Higa
-
Split chapter to description monad. category/functional programming2015-02-12, by Yasutaka Higa
-
Update description of definition delta monad in haskell2015-02-12, by Yasutaka Higa
-
Add examples of meta computation for program modification2015-02-12, by Yasutaka Higa
-
Update description and delta definition2015-02-12, by Yasutaka Higa
-
Add todo list2015-02-12, by Yasutaka Higa
-
Add agda-resoning2015-02-11, by Yasutaka Higa
-
Fix function name2015-02-11, by Yasutaka Higa
-
Temporary save2015-02-10, by Yasutaka Higa
-
Add description prove method in agda2015-02-10, by Yasutaka Higa
-
Add curry-howad isomorphism2015-02-10, by Yasutaka Higa
-
Add description for natural deduction2015-02-09, by Yasutaka Higa
-
Add monad in Haskell2015-02-09, by Yasutaka Higa
-
Add natural transformation in program2015-02-09, by Yasutaka Higa
-
Fix figures2015-02-08, by Yasutaka Higa
-
Fix listings and page numbering2015-02-08, by Yasutaka Higa
-
Add description for category/functor in program2015-02-08, by Yasutaka Higa
-
Add description Monad2015-02-08, by Yasutaka Higa
-
Add description natural transformation2015-02-08, by Yasutaka Higa
-
Add Functor2015-02-08, by Yasutaka Higa
-
Add folding for section2015-02-08, by Yasutaka Higa
-
Add forgot figure files2015-02-08, by Yasutaka Higa
-
Add figures category2015-02-08, by Yasutaka Higa
-
Add Category definition2015-02-08, by Yasutaka Higa