diff options
| author | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 12:26:59 +0100 |
|---|---|---|
| committer | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 12:26:59 +0100 |
| commit | 0f7b3d5caf45b74d21a2a0042aa73a4112f805df (patch) | |
| tree | 3e46b353f1be9227a86784feb5208f204d422b03 /InterimReport.agda | |
| parent | cee737be953cbcee4d78951ad627c75a39a6ae9e (diff) | |
thesis stub
Diffstat (limited to 'InterimReport.agda')
| -rw-r--r-- | InterimReport.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/InterimReport.agda b/InterimReport.agda index c433d59..839060f 100644 --- a/InterimReport.agda +++ b/InterimReport.agda @@ -147,4 +147,4 @@ module Ext where map-#==#-map' : forall {A B C} (f : B -> C) (g : A -> B) -> map (f # g) == (map f # map g) - map-#==#-map' f g = ext (map-#==#-map f g)
\ No newline at end of file + map-#==#-map' f g = ext (map-#==#-map f g) |