lexi-lambda
diff --git a/‎README.md‎
Lines changed: 2 additions & 0 deletions b/‎README.md‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎hackett-assetts/1000px-Hackett-logo.png‎
83.9 KB b/‎hackett-assetts/1000px-Hackett-logo.png‎
83.9 KB
diff --git a/‎hackett-assetts/100px-Hackett-logo.png‎
17.6 KB b/‎hackett-assetts/100px-Hackett-logo.png‎
17.6 KB
diff --git a/‎hackett-assetts/2000px-Hackett-logo.png‎
129 KB b/‎hackett-assetts/2000px-Hackett-logo.png‎
129 KB
diff --git a/‎hackett-assetts/250px-Hackett-logo.png‎
26.9 KB b/‎hackett-assetts/250px-Hackett-logo.png‎
26.9 KB
diff --git a/‎hackett-assetts/500px-Hackett-logo.png‎
46.7 KB b/‎hackett-assetts/500px-Hackett-logo.png‎
46.7 KB
diff --git a/‎hackett-assetts/50px-Hackett-logo.png‎
15 KB b/‎hackett-assetts/50px-Hackett-logo.png‎
15 KB
@@ -1,3 +1,5 @@
+<a href=hacket-assetts/2000px-Hackett-logo.png""><img src="hacket-assetts/250px-Hackett-logo.png" style="float:right" /></a>
+
 # Hackett [![Build Status](https://travis-ci.org/lexi-lambda/hackett.svg?branch=master)](https://travis-ci.org/lexi-lambda/hackett)
 
 Hackett is an attempt to implement a Haskell-like language with support for Racket’s macro system, built using the techniques described in the paper [*Type Systems as Macros*][types-as-macros]. It is currently *extremely* work-in-progress.
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+<a href=hacket-assetts/2000px-Hackett-logo.png""><img src="hacket-assetts/250px-Hackett-logo.png" style="float:right" /></a>`
	`2`	`+`
`1`	`3`	`# Hackett [![Build Status](https://travis-ci.org/lexi-lambda/hackett.svg?branch=master)](https://travis-ci.org/lexi-lambda/hackett)`
`2`	`4`
`3`	`5`	`Hackett is an attempt to implement a Haskell-like language with support for Racket’s macro system, built using the techniques described in the paper [Type Systems as Macros][types-as-macros]. It is currently extremely work-in-progress.`