diff --git a/README.md b/README.md
index 4f8b4fe..66faf3d 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+<a href="https://raw.githubusercontent.com/haskell-lisp/hackett/add-logo/hackett-assetts/2000px-Hackett-logo.png"><img src="https://raw.githubusercontent.com/haskell-lisp/hackett/add-logo/hackett-assetts/50px-Hackett-logo.png" align="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.
diff --git a/hackett-assetts/1000px-Hackett-logo.png b/hackett-assetts/1000px-Hackett-logo.png
new file mode 100644
index 0000000..7fba128
Binary files /dev/null and b/hackett-assetts/1000px-Hackett-logo.png differ
diff --git a/hackett-assetts/100px-Hackett-logo.png b/hackett-assetts/100px-Hackett-logo.png
new file mode 100644
index 0000000..8ba6375
Binary files /dev/null and b/hackett-assetts/100px-Hackett-logo.png differ
diff --git a/hackett-assetts/2000px-Hackett-logo.png b/hackett-assetts/2000px-Hackett-logo.png
new file mode 100644
index 0000000..be1af2f
Binary files /dev/null and b/hackett-assetts/2000px-Hackett-logo.png differ
diff --git a/hackett-assetts/250px-Hackett-logo.png b/hackett-assetts/250px-Hackett-logo.png
new file mode 100644
index 0000000..a2af311
Binary files /dev/null and b/hackett-assetts/250px-Hackett-logo.png differ
diff --git a/hackett-assetts/500px-Hackett-logo.png b/hackett-assetts/500px-Hackett-logo.png
new file mode 100644
index 0000000..3d4c492
Binary files /dev/null and b/hackett-assetts/500px-Hackett-logo.png differ
diff --git a/hackett-assetts/50px-Hackett-logo.png b/hackett-assetts/50px-Hackett-logo.png
new file mode 100644
index 0000000..7b64521
Binary files /dev/null and b/hackett-assetts/50px-Hackett-logo.png differ
diff --git a/hackett-assetts/Hackett-logo.svg b/hackett-assetts/Hackett-logo.svg
new file mode 100644
index 0000000..8cc9c20
--- /dev/null
+++ b/hackett-assetts/Hackett-logo.svg
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20010904//EN" "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
+<svg xmlns="http://www.w3.org/2000/svg" width="7.33333in" height="7.33333in" viewBox="0 0 2200 2200" style="zoom: 2;"><circle stroke="#000000" id="circle1" cy="1100.012573px" stroke-width="0" fill="#ffffff" r="987.534546px" cx="1100.011841px" transform=""></circle><path d="M764.00,171.00 C764.00,171.00 797.00,189.42 797.00,189.42 C820.50,203.06 843.63,217.61 866.00,233.02 C1023.84,341.81 1166.58,487.20 1289.08,634.00 C1389.35,754.17 1480.02,882.00 1562.42,1015.00 C1645.58,1149.21 1722.48,1295.40 1783.58,1441.00 C1808.15,1499.57 1830.32,1558.93 1850.92,1619.00 C1850.92,1619.00 1879.00,1709.00 1879.00,1709.00 C1885.60,1702.57 1903.95,1676.78 1910.02,1668.00 C1928.50,1641.31 1945.76,1614.20 1961.85,1586.00 C2016.01,1491.12 2054.04,1384.49 2073.42,1277.00 C2079.40,1243.88 2083.78,1210.54 2086.09,1177.00 C2086.09,1177.00 2088.00,1152.00 2088.00,1152.00 C2088.00,1152.00 2088.00,1146.00 2088.00,1146.00 C2088.00,1146.00 2089.00,1131.00 2089.00,1131.00 C2089.00,1131.00 2089.00,1120.00 2089.00,1120.00 C2088.93,1109.35 2085.33,1111.55 2072.00,1109.00 C2072.00,1109.00 2017.00,1100.27 2017.00,1100.27 C2017.00,1100.27 1961.00,1092.85 1961.00,1092.85 C1961.00,1092.85 1932.00,1089.17 1932.00,1089.17 C1932.00,1089.17 1884.00,1084.83 1884.00,1084.83 C1884.00,1084.83 1856.00,1081.96 1856.00,1081.96 C1856.00,1081.96 1847.00,1081.96 1847.00,1081.96 C1847.00,1081.96 1824.00,1080.00 1824.00,1080.00 C1824.00,1080.00 1806.00,1079.00 1806.00,1079.00 C1806.00,1079.00 1777.00,1078.00 1777.00,1078.00 C1777.00,1078.00 1760.00,1077.00 1760.00,1077.00 C1760.00,1077.00 1730.00,1077.00 1730.00,1077.00 C1726.26,1076.99 1715.04,1076.75 1712.18,1075.01 C1708.92,1073.03 1703.11,1061.84 1700.80,1058.00 C1700.80,1058.00 1676.80,1018.00 1676.80,1018.00 C1644.45,964.71 1610.35,912.33 1574.98,861.00 C1574.98,861.00 1544.14,817.00 1544.14,817.00 C1539.77,810.90 1532.02,802.30 1531.00,795.00 C1531.00,795.00 1548.00,793.00 1548.00,793.00 C1548.00,793.00 1556.00,793.00 1556.00,793.00 C1556.00,793.00 1569.00,791.17 1569.00,791.17 C1569.00,791.17 1602.00,788.91 1602.00,788.91 C1602.00,788.91 1632.00,787.00 1632.00,787.00 C1632.00,787.00 1650.00,786.00 1650.00,786.00 C1650.00,786.00 1669.00,784.94 1669.00,784.94 C1669.00,784.94 1686.00,784.94 1686.00,784.94 C1686.00,784.94 1700.00,784.00 1700.00,784.00 C1700.00,784.00 1807.00,784.00 1807.00,784.00 C1807.00,784.00 1822.00,784.96 1822.00,784.96 C1822.00,784.96 1842.00,784.96 1842.00,784.96 C1842.00,784.96 1858.00,786.00 1858.00,786.00 C1858.00,786.00 1888.00,787.00 1888.00,787.00 C1888.00,787.00 1902.00,788.00 1902.00,788.00 C1902.00,788.00 1923.00,789.00 1923.00,789.00 C1923.00,789.00 1946.00,790.83 1946.00,790.83 C1946.00,790.83 1968.00,792.17 1968.00,792.17 C1968.00,792.17 2014.00,796.17 2014.00,796.17 C2021.05,796.84 2035.79,799.48 2042.00,798.00 C2042.00,798.00 2020.60,737.00 2020.60,737.00 C2018.89,732.73 2013.26,717.08 2010.51,714.74 C2008.44,712.98 2002.77,712.46 2000.00,712.16 C2000.00,712.16 1977.00,709.83 1977.00,709.83 C1977.00,709.83 1927.00,705.00 1927.00,705.00 C1927.00,705.00 1917.00,705.00 1917.00,705.00 C1917.00,705.00 1900.00,703.00 1900.00,703.00 C1900.00,703.00 1891.00,703.00 1891.00,703.00 C1891.00,703.00 1881.00,702.00 1881.00,702.00 C1881.00,702.00 1862.00,701.00 1862.00,701.00 C1862.00,701.00 1840.00,699.96 1840.00,699.96 C1840.00,699.96 1829.00,699.96 1829.00,699.96 C1829.00,699.96 1818.00,699.00 1818.00,699.00 C1818.00,699.00 1802.00,699.00 1802.00,699.00 C1802.00,699.00 1787.00,698.00 1787.00,698.00 C1787.00,698.00 1680.00,698.00 1680.00,698.00 C1680.00,698.00 1663.00,699.00 1663.00,699.00 C1663.00,699.00 1647.00,699.00 1647.00,699.00 C1647.00,699.00 1637.00,699.96 1637.00,699.96 C1637.00,699.96 1626.00,699.96 1626.00,699.96 C1626.00,699.96 1606.00,701.00 1606.00,701.00 C1606.00,701.00 1593.00,702.00 1593.00,702.00 C1593.00,702.00 1568.00,704.00 1568.00,704.00 C1568.00,704.00 1559.00,704.00 1559.00,704.00 C1559.00,704.00 1514.00,708.17 1514.00,708.17 C1514.00,708.17 1482.00,711.85 1482.00,711.85 C1478.99,712.21 1470.88,713.62 1468.42,712.58 C1465.07,711.16 1458.59,702.20 1456.12,699.00 C1456.12,699.00 1432.40,669.00 1432.40,669.00 C1432.40,669.00 1342.72,562.00 1342.72,562.00 C1342.72,562.00 1296.91,511.00 1296.91,511.00 C1296.91,511.00 1272.42,485.00 1272.42,485.00 C1272.42,485.00 1257.00,469.00 1257.00,469.00 C1252.82,464.81 1249.98,463.03 1249.00,457.00 C1249.00,457.00 1285.00,449.21 1285.00,449.21 C1285.00,449.21 1370.00,432.28 1370.00,432.28 C1413.78,424.98 1457.86,417.89 1502.00,413.16 C1502.00,413.16 1586.00,404.83 1586.00,404.83 C1586.00,404.83 1638.00,400.91 1638.00,400.91 C1638.00,400.91 1663.00,399.00 1663.00,399.00 C1663.00,399.00 1686.00,398.00 1686.00,398.00 C1686.00,398.00 1703.00,397.00 1703.00,397.00 C1703.00,397.00 1738.00,396.00 1738.00,396.00 C1738.00,396.00 1755.00,395.00 1755.00,395.00 C1755.00,395.00 1791.00,395.00 1791.00,395.00 C1788.95,387.53 1781.41,382.95 1776.00,377.91 C1776.00,377.91 1741.00,346.58 1741.00,346.58 C1691.37,304.65 1637.98,266.98 1581.00,235.70 C1481.47,181.05 1373.39,142.03 1261.00,124.58 C1229.50,119.69 1197.83,115.35 1166.00,113.96 C1166.00,113.96 1155.00,113.00 1155.00,113.00 C1155.00,113.00 1133.00,112.00 1133.00,112.00 C1133.00,112.00 1070.00,112.00 1070.00,112.00 C1070.00,112.00 1048.00,113.00 1048.00,113.00 C1048.00,113.00 1038.00,113.91 1038.00,113.91 C1038.00,113.91 960.00,121.73 960.00,121.73 C912.20,128.62 861.00,138.97 815.00,153.66 C815.00,153.66 778.00,165.58 778.00,165.58 C773.40,167.29 768.15,168.46 764.00,171.00  Z " id="blue" stroke="black" stroke-width="0" fill="#3e5ba9"></path><path d="M356,1750 C359.570007,1745.02002 364.660004,1726.890015 367,1720 C367,1720 387.420013,1664 387.420013,1664 C409.98999,1604.170044 434.619995,1545.109985 461.309998,1487 C544.210022,1306.459961 646.080017,1134.47998 763.150024,974 C807.359985,913.400024 854.900024,854.659973 905.169983,799 C905.169983,799 930.039978,772 930.039978,772 C930.039978,772 944.909973,757 944.909973,757 C947.570007,754.150024 957.400024,744.429993 956.950012,741 C956.580017,738.169983 952,734.01001 950,732 C950,732 934,715 934,715 C934,715 876,657.039978 876,657.039978 C876,657.039978 866,647.98999 866,647.98999 C866,647.98999 805,592.719971 805,592.719971 C722.960022,521.47998 635.27002,458.480011 541,404.420013 C541,404.420013 474,368.75 474,368.75 C474,368.75 457,360.25 457,360.25 C454.549988,359.040009 451.829987,357.350006 449,358.140015 C445.619995,359.089996 439.839996,365.220001 437,367.720001 C437,367.720001 410,393 410,393 C410,393 393,410 393,410 C390.98999,412.01001 386.380005,416.209991 385.730011,418.899994 C384.950012,422.100006 388.769989,423.690002 391,425 C391,425 409,435.399994 409,435.399994 C409,435.399994 488,483.670013 488,483.670013 C488,483.670013 554,529.150024 554,529.150024 C554,529.150024 619,579.390015 619,579.390015 C619,579.390015 631,588.419983 631,588.419983 C631,588.419983 696,644.830017 696,644.830017 C696,644.830017 705,652.169983 705,652.169983 C705,652.169983 746,691 746,691 C746,691 771,715.909973 771,715.909973 C781.429993,725.630005 792.059998,735.210022 801.419983,746 C801.419983,746 812.950012,758 812.950012,758 C814.77002,759.969971 817.01001,762.080017 815.969971,765 C815.219971,767.099976 804.22998,778.76001 802,781 C802,781 783.830017,801 783.830017,801 C783.830017,801 774.280029,811 774.280029,811 C774.280029,811 724.169983,868 724.169983,868 C724.169983,868 674.419983,930 674.419983,930 C674.419983,930 657.340027,953 657.340027,953 C657.340027,953 602.419983,1027 602.419983,1027 C602.419983,1027 574.659973,1068 574.659973,1068 C574.659973,1068 547.01001,1109 547.01001,1109 C547.01001,1109 533.309998,1131 533.309998,1131 C533.309998,1131 497.730011,1187 497.730011,1187 C497.730011,1187 477.399994,1222 477.399994,1222 C477.399994,1222 436.029999,1293 436.029999,1293 C436.029999,1293 393.26001,1373 393.26001,1373 C393.26001,1373 385.190002,1390 385.190002,1390 C385.190002,1390 358.75,1442 358.75,1442 C358.75,1442 330.690002,1503 330.690002,1503 C330.690002,1503 293.579987,1587 293.579987,1587 C293.579987,1587 279.200012,1622 279.200012,1622 C277.700012,1625.819946 273.899994,1635.27002 274.170013,1639 C274.459991,1642.930054 277.519989,1646.780029 279.670013,1650 C279.670013,1650 294.140015,1671 294.140015,1671 C294.140015,1671 329.450012,1718 329.450012,1718 C329.450012,1718 356,1750 356,1750  Z M132,1296 C136.559998,1294.459961 137.190002,1291.939941 139.679993,1288 C139.679993,1288 150.320007,1271 150.320007,1271 C150.320007,1271 177.949997,1228 177.949997,1228 C177.949997,1228 195,1201 195,1201 C195,1201 235.110001,1142 235.110001,1142 C235.110001,1142 243,1130 243,1130 C243,1130 302.970001,1049 302.970001,1049 C302.970001,1049 315.420013,1032 315.420013,1032 C315.420013,1032 356.920013,981 356.920013,981 C356.920013,981 376.420013,957 376.420013,957 C376.420013,957 425.829987,902 425.829987,902 C425.829987,902 437.089996,889 437.089996,889 C437.089996,889 453.160004,872 453.160004,872 C454.700012,870.26001 457.799988,867.440002 457.799988,865 C457.799988,861.669983 448.619995,853.719971 446.089996,851 C446.089996,851 423,827.039978 423,827.039978 C423,827.039978 409,814 409,814 C409,814 358,764.090027 358,764.090027 C358,764.090027 329,738.830017 329,738.830017 C313.940002,725.27002 283.519989,698.409973 268,687.140015 C268,687.140015 236,661.799988 236,661.799988 C233.330002,659.679993 225.190002,652.580017 222.100006,652.619995 C218.830002,652.669983 217,657.52002 215.75,660 C215.75,660 203.690002,685 203.690002,685 C186.5,722.530029 173.699997,755.890015 160.669998,795 C140.169998,856.48999 125.730003,925.549988 118.839996,990 C118.839996,990 114.910004,1037 114.910004,1037 C114.910004,1037 114,1049 114,1049 C114,1049 113,1069 113,1069 C113,1069 113,1129 113,1129 C113,1129 113.959999,1141 113.959999,1141 C113.959999,1141 113.959999,1152 113.959999,1152 C113.959999,1152 114.959999,1163 114.959999,1163 C116.150002,1190.410034 119.269997,1217.829956 123.269997,1245 C123.269997,1245 132,1296 132,1296  Z M1141,967 C1111.98999,996.27002 1068.949951,1050.23999 1043.630005,1084 C980.549988,1168.099976 932.77002,1244.949951 881,1336 C858.359985,1375.819946 837.690002,1416.790039 817.73999,1458 C774.26001,1547.849976 736.080017,1639.680054 703.340027,1734 C703.340027,1734 679.97998,1807 679.97998,1807 C667.659973,1846.630005 657.570007,1886.72998 647.630005,1927 C647.630005,1927 640.400024,1959 640.400024,1959 C639.799988,1961.98999 637.690002,1969.25 638.640015,1971.819946 C639.97998,1975.439941 647.590027,1978.540039 651,1980.25 C651,1980.25 686,1997.23999 686,1997.23999 C686,1997.23999 726,2014.599976 726,2014.599976 C765.440002,2030.650024 801.169983,2042.280029 842,2054 C883.090027,2065.800049 940.419983,2076.610107 983,2081.159912 C983,2081.159912 1039,2086.090088 1039,2086.090088 C1039,2086.090088 1049,2087.040039 1049,2087.040039 C1049,2087.040039 1061,2087.040039 1061,2087.040039 C1061,2087.040039 1073,2088 1073,2088 C1073,2088 1129,2088 1129,2088 C1129,2088 1146,2087 1146,2087 C1146,2087 1189,2084.169922 1189,2084.169922 C1189,2084.169922 1216,2081.719971 1216,2081.719971 C1282.180054,2073.75 1347.72998,2059.76001 1411,2038.670044 C1452.02002,2024.98999 1494.329956,2008.579956 1533,1989.25 C1533,1989.25 1564,1973.420044 1564,1973.420044 C1566.25,1972.150024 1573.060059,1968.949951 1574.359985,1967.369995 C1576.689941,1964.530029 1573.689941,1955.52002 1572.880005,1952 C1572.880005,1952 1562.790039,1908 1562.790039,1908 C1562.790039,1908 1552.869995,1868 1552.869995,1868 C1540.589966,1818.869995 1526.319946,1770.469971 1511.719971,1722 C1490.119995,1650.280029 1464.209961,1579.530029 1436.400024,1510 C1388.550049,1390.380005 1330.26001,1269.079956 1265.01001,1158 C1238.51001,1112.880005 1211.030029,1068.540039 1182,1025 C1182,1025 1156.02002,987 1156.02002,987 C1152.150024,981.409973 1145.699951,971.219971 1141,967  Z " id="red" stroke="black" stroke-width="0" fill="#9f1d20"></path></svg>
\ No newline at end of file