projects
/
bitonic-mengthesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
...
[bitonic-mengthesis.git]
/
InterimReport.agda
diff --git
a/InterimReport.agda
b/InterimReport.agda
index c433d59ddae1ed397a94120be55934fab6c3b7ae..839060f43bdb240e2ab9cffd928f86cce9cc1495 100644
(file)
--- 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' : 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)