wouter-swierstra
diff --git a/‎README.md
Lines changed: 0 additions & 1 deletion b/‎README.md
Lines changed: 0 additions & 1 deletion
diff --git a/‎bin/logo.png
-9.44 KB b/‎bin/logo.png
-9.44 KB
@@ -1,4 +1,3 @@
-<img src="https://github.com/wouter-swierstra/xmonad/raw/master/bin/logo.png" alt="Logo" style="display:block; margin: 10px auto 30px auto;" class="center">
 
 This repository contains an implementation of xmonad's StackSet module
 in Coq. Extracting Haskell from this Coq file produces a drop-in
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-<img src="https://github.com/wouter-swierstra/xmonad/raw/master/bin/logo.png" alt="Logo" style="display:block; margin: 10px auto 30px auto;" class="center">`
`2`	`1`
`3`	`2`	`This repository contains an implementation of xmonad's StackSet module`
`4`	`3`	`in Coq. Extracting Haskell from this Coq file produces a drop-in`