Mercurial > hg > Papers > 2015 > atton-thesis
directory /src/ @ 26:de3397af1f8d
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 apply_function.agda
|
134 | -rw-r--r-- |
|
delta_constructor.hs
|
42 | -rw-r--r-- |
|
delta_example.hs
|
555 | -rw-r--r-- |
|
delta_example_result.txt
|
54 | -rw-r--r-- |
|
delta_instance_monad.hs
|
174 | -rw-r--r-- |
|
equiv.agda
|
72 | -rw-r--r-- |
|
exec_list_in_haskell.txt
|
286 | -rw-r--r-- |
|
exec_list_monad.txt
|
236 | -rw-r--r-- |
|
exec_tail_in_haskell.txt
|
619 | -rw-r--r-- |
|
functor_class.hs
|
55 | -rw-r--r-- |
|
functor_laws_in_haskell.txt
|
53 | -rw-r--r-- |
|
list.hs
|
150 | -rw-r--r-- |
|
list_monad.hs
|
387 | -rw-r--r-- |
|
modus_ponens.agda
|
0 | -rw-r--r-- |
|
modus_ponens.txt
|
208 | -rw-r--r-- |
|
monad_and_bind.hs
|
77 | -rw-r--r-- |
|
monad_class.hs
|
80 | -rw-r--r-- |
|
monad_laws_in_haskell.hs
|
122 | -rw-r--r-- |
|
nat.agda
|
67 | -rw-r--r-- |
|
nat_add.agda
|
98 | -rw-r--r-- |
|
nat_add_sym.agda
|
315 | -rw-r--r-- |
|
nat_add_sym_reasoning.agda
|
541 | -rw-r--r-- |
|
natural_transformation_list.hs
|
70 | -rw-r--r-- |
|
product.agda
|
253 | -rw-r--r-- |
|
three_plus_one.agda
|
178 | -rw-r--r-- |