Mercurial > hg > Papers > 2015 > atton-thesis

directory /src/ @ 57:5f0e13923cfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
dir. orig/ drwxr-xr-x
file apply_function.agda 134 -rw-r--r--
file delta.agda 156 -rw-r--r--
file deltaM_definition.hs 775 -rw-r--r--
file deltaM_example.hs 1008 -rw-r--r--
file deltaM_is_monad.agda 29331 -rw-r--r--
file delta_association_law.agda 2450 -rw-r--r--
file delta_constructor.hs 42 -rw-r--r--
file delta_covariant.agda 364 -rw-r--r--
file delta_eta_is_nt.agda 611 -rw-r--r--
file delta_example.hs 555 -rw-r--r--
file delta_example_result.txt 54 -rw-r--r--
file delta_fmap.agda 207 -rw-r--r--
file delta_instance_monad.hs 347 -rw-r--r--
file delta_is_functor.agda 339 -rw-r--r--
file delta_is_monad.agda 502 -rw-r--r--
file delta_left_unity_law.agda 1041 -rw-r--r--
file delta_monad_definition.agda 8764 -rw-r--r--
file delta_monad_in_agda.agda 605 -rw-r--r--
file delta_mu_is_nt.agda 1739 -rw-r--r--
file delta_preserve_id.agda 219 -rw-r--r--
file delta_right_unity_law.agda 888 -rw-r--r--
file equiv.agda 72 -rw-r--r--
file exec_list_in_haskell.txt 286 -rw-r--r--
file exec_list_monad.txt 236 -rw-r--r--
file exec_tail_in_haskell.txt 619 -rw-r--r--
file functor_class.hs 55 -rw-r--r--
file functor_laws_in_haskell.txt 53 -rw-r--r--
file list.hs 150 -rw-r--r--
file list_monad.hs 387 -rw-r--r--
file modus_ponens.agda 0 -rw-r--r--
file modus_ponens.txt 208 -rw-r--r--
file monad_and_bind.hs 77 -rw-r--r--
file monad_class.hs 90 -rw-r--r--
file monad_laws.agda 839 -rw-r--r--
file monad_laws_in_haskell.hs 122 -rw-r--r--
file nat.agda 67 -rw-r--r--
file nat_add.agda 98 -rw-r--r--
file nat_add_sym.agda 308 -rw-r--r--
file nat_add_sym_reasoning.agda 627 -rw-r--r--
file natural_transformation_list.hs 70 -rw-r--r--
file numberCountM_result.txt 472 -rw-r--r--
file product.agda 253 -rw-r--r--
file record_functor.agda 491 -rw-r--r--
file three_plus_one.agda 178 -rw-r--r--