Skip to content

Commit

Permalink
update page
Browse files Browse the repository at this point in the history
  • Loading branch information
@ranjitjhala
ranjitjhala committed Sep 22, 2016
1 parent f909d9a commit 1f28522
Show file tree
Hide file tree
Showing 4 changed files with 55 additions and 76 deletions.
1 change: 0 additions & 1 deletion Makefile
View file
Expand Up @@ -9,7 +9,6 @@ upload:

clean:
rm -rf *.hi *.o .*.swp .*.swo website _site/ _cache/
cd lectures && make clean

server:
stack exec -- homepage watch
6 changes: 3 additions & 3 deletions docs/lectures.html
View file
Expand Up @@ -238,13 +238,13 @@ <h1>Lecture Notes</h1>
</thead>
<tbody>
<tr class="odd">
<td align="center">9/29</td>
<td align="center">9/23</td>
<td align="left">Introduction</td>
<td align="center"><a href="lectures/01-introduction.html">html</a></td>
<td align="center"></td>
</tr>
<tr class="even">
<td align="center">10/1</td>
<td align="center">9/26</td>
<td align="left">Crash course in Haskell</td>
<td align="center"><a href="lectures/02-haskell.html">html</a></td>
<td align="center"><a href="http://github.com/ucsd-progsys/131-web/blob/master/code/01-haskell/">hs</a></td>
Expand All @@ -263,7 +263,7 @@ <h2 id="discussions">Discussions</h2>
</thead>
<tbody>
<tr class="odd">
<td align="center">10/3</td>
<td align="center">9/28</td>
<td align="left">Running Haskell in Lab</td>
<td align="center">TBD</td>
<td align="center">TBD</td>
Expand Down
62 changes: 26 additions & 36 deletions docs/lectures/01-introduction.html
View file
Expand Up @@ -48,22 +48,22 @@
<!-- Site Desciption -->
<meta name="keywords" content="Ranjit Jhala, ranjitjhala, haskell, compilers, type systems">
<!-- Favicon -->
<link rel="shortcut icon" href="http://localhost:8000/static/img/ico.jpg" type="image/x-icon" />
<link rel="shortcut icon" href="https://ucsd-progsys.github.io/131-web/static/img/ico.jpg" type="image/x-icon" />
<!-- Blog Title -->
<title>cse131</title>

<!-- <title>{% if page.title %}{{ page.title }} - {{ site.title }}{% else %}{{ site.title }}{% endif %}</title>
-->
<!-- Property Metas -->
<meta property="og:image" content="http://localhost:8000/static/img/ix.png" />
<meta property="og:image" content="https://ucsd-progsys.github.io/131-web/static/img/ix.png" />
<meta property="og:title" content="UCSD CSE 131" />
<meta property="og:site_name" content="UCSD CSE 131" />
<!-- Canonical -->
<link rel="canonical" href="{{ page.url | replace:'index.html','' | prepend: site.baseurl | prepend: site.url }}">
<!-- StyleSheet -->
<link rel="stylesheet" href="http://localhost:8000/static/css/bootstrap.min.css">
<link rel="stylesheet" href="http://localhost:8000/static/css/spaceg.stylesheets.css">
<link rel="stylesheet" href="http://localhost:8000/static/css/syntax.css">
<link rel="stylesheet" href="https://ucsd-progsys.github.io/131-web/static/css/bootstrap.min.css">
<link rel="stylesheet" href="https://ucsd-progsys.github.io/131-web/static/css/spaceg.stylesheets.css">
<link rel="stylesheet" href="https://ucsd-progsys.github.io/131-web/static/css/syntax.css">
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Merriweather:400,300,300italic,400italic,700,700italic,900,900italic" rel="stylesheet" type="text/css">
<link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet" type="text/css">
Expand All @@ -82,7 +82,7 @@
ul, ol {margin-top: 0;margin-bottom: 10px;}
.navbar-inverse {background-color: #FFF;border-color: #FFFFFF;}
</style>
<!--link rel="stylesheet" href="http://localhost:8000/static/css/prettify.css"-->
<!--link rel="stylesheet" href="https://ucsd-progsys.github.io/131-web/static/css/prettify.css"-->
<style>
header.intro-header {background: #6f5499;background: no-repeat center center;background-attachment: scroll;-webkit-background-size: cover;-moz-background-size: cover;background-size: cover;-o-background-size: cover;}
/* Preloader */#preloader {position:fixed;top:0;left:0;right:0;bottom:0;background-color:#fff; /* change if the mask should have another color then white */z-index:99; /* makes sure it stays on top */}
Expand Down Expand Up @@ -115,7 +115,7 @@
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="http://localhost:8000" id="blog-title-left-top">cse131</a>
<a class="navbar-brand" href="https://ucsd-progsys.github.io/131-web" id="blog-title-left-top">cse131</a>
</div>
<!-- Collect the nav links, forms, and other content for toggling -->
<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
Expand All @@ -125,14 +125,14 @@
<ul class="dropdown-menu"></ul>
</li>-->

<li><a href="http://localhost:8000/calendar.html" target="_blank">Calendar</a></li>
<li><a href="http://localhost:8000/contact.html" target="_blank">Contact</a></li>
<li><a href="http://localhost:8000/lectures.html" target="_blank">Lectures</a></li>
<li><a href="http://localhost:8000/assignments.html" target="_blank">Assignments</a></li>
<li><a href="http://localhost:8000/links.html" target="_blank">Links</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/calendar.html" target="_blank">Calendar</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/contact.html" target="_blank">Contact</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/lectures.html" target="_blank">Lectures</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/assignments.html" target="_blank">Assignments</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/links.html" target="_blank">Links</a></li>
<li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
<!--
<li><a href="http://localhost:8000/archive.html">Archive</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
<li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
-->
</ul>
Expand All @@ -156,10 +156,10 @@
<div class="modal-body">
<h1 class="font-style-inline-small-h1">Ranjit Jhala</h1>
<hr class="star-primary">
<img src="http://localhost:8000/static/img/kc.jpg" class="img-responsive img-centered" alt title>
<img src="https://ucsd-progsys.github.io/131-web/static/img/kc.jpg" class="img-responsive img-centered" alt title>
<p class="font-style-inline-small">
<a href="https://www.twitter.com/ranjitjhala" target="_blank">follow me</a>. <br>
<a href="https://www.github.com/ranjitjhala" target="_blank"> <i class="fa fa-github" id="spaceg-social-modal"></i> </a>
<a href="https://www.github.com/ucsd-progsys/131-web" target="_blank"> <i class="fa fa-github" id="spaceg-social-modal"></i> </a>
<a href="https://www.twitter.com/ranjitjhala" target="_blank"><i class="fa fa-twitter" id="spaceg-social-modal"></i> </a>
<a href="https://plus.google.com/u/0/106612421534244742464" target="_blank"> <i class="fa fa-google-plus" id="spaceg-social-modal"></i></a>
</p>
Expand Down Expand Up @@ -187,12 +187,12 @@ <h1 class="font-style-inline-small-h1">Ranjit Jhala</h1>
<hr class="star-primary">
<p class="font-style-inline-small">
<a href="https://www.twitter.com/ranjitjhala" target="_blank">follow</a>. <br>
<a href="https://www.github.com/ranjitjhala" target="_blank"> <i class="fa fa-github" id="spaceg-social-modal"></i> </a>
<a href="https://www.github.com/ucsd-progsys/131-web" target="_blank"> <i class="fa fa-github" id="spaceg-social-modal"></i> </a>
<a href="https://www.twitter.com/ranjitjhala" target="_blank"><i class="fa fa-twitter" id="spaceg-social-modal"></i> </a>
<a href="https://plus.google.com/u/0/106612421534244742464" target="_blank"> <i class="fa fa-google-plus" id="spaceg-social-modal"></i></a> <br>
<li><a href="http://localhost:8000/">Home</a></li>
<li><a href="http://localhost:8000/about.html">About Me</a></li>
<li><a href="http://localhost:8000/archive.html/">Archive</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/">Home</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/about.html">About Me</a></li>
<li><a href="https://ucsd-progsys.github.io/131-web/archive.html/">Archive</a></li>
</p>

<button type="button" class="btn btn-default" data-dismiss="modal"><i class="fa fa-times"></i> Close</button>
Expand All @@ -206,7 +206,7 @@ <h1 class="font-style-inline-small-h1">Ranjit Jhala</h1>

<div id="content">
<!-- Post Header -->
<header class="intro-header" style="background-image: url('http://localhost:8000/static/img/beach.jpg')" alt title>
<header class="intro-header" style="background-image: url('https://ucsd-progsys.github.io/131-web/static/img/Eiffel.png')" alt title>
<div class="container">
<div class="row">
<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
Expand All @@ -215,7 +215,6 @@ <h1>Hello, world!</h1>

<span class="meta">

September 23, 2016
</span>
</div>
</div>
Expand All @@ -228,7 +227,6 @@ <h1>Hello, world!</h1>
<div class="container">
<div class="row">
<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">

<h2 id="what-is-a-compiler">What <em>is</em> a Compiler?</h2>
<p>A function that maps an <em>input</em> string to an <em>output</em> string.</p>
<div class="sourceCode"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span class="ot">compiler ::</span> <span class="dt">String</span> <span class="ot">-&gt;</span> <span class="dt">String</span></code></pre></div>
Expand Down Expand Up @@ -410,19 +408,11 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i
<li><a href="http://science.raphael.poss.name/haskell-for-ocaml-programmers.html">Haskell for Ocaml Programmers</a></li>
<li><a href="https://www.haskell.org/hoogle/">Hoogle: Type-based API Search</a></li>
</ul>

<hr>

<ul class="pager">


</ul>

</div>
</div>
</div>
</article>
<hr>

</div>
<div id="footer">
Expand All @@ -434,7 +424,7 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i
<div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
<ul class="list-inline text-center">
<li>
<a href="http://localhost:8000/feed.xml" data-datatype="json" data-type="GET" data-target="#frame" class="reload" id="clickme">
<a href="https://ucsd-progsys.github.io/131-web/feed.xml" data-datatype="json" data-type="GET" data-target="#frame" class="reload" id="clickme">
<span class="fa-stack fa-lg">
<i class="fa fa-circle fa-stack-2x"></i>
<i class="fa fa-rss fa-stack-1x fa-inverse"></i>
Expand Down Expand Up @@ -463,7 +453,7 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i


<li>
<a href="https://github.com/ranjitjhala" target="_blank">
<a href="https://github.com/ucsd-progsys/131-web" target="_blank">
<span class="fa-stack fa-lg">

<i class="fa fa-arrow-circle-o-down"></i>
Expand Down Expand Up @@ -491,11 +481,11 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i
</footer>

<!-- jQuery -->
<script src="http://localhost:8000/static/js/jquery.min.js"></script>
<script src="http://localhost:8000/static/js/spaceg.stylesheets.min.js"></script>
<script src="http://localhost:8000/static/js/bootstrap.min.js"></script>
<script src="https://ucsd-progsys.github.io/131-web/static/js/jquery.min.js"></script>
<script src="https://ucsd-progsys.github.io/131-web/static/js/spaceg.stylesheets.min.js"></script>
<script src="https://ucsd-progsys.github.io/131-web/static/js/bootstrap.min.js"></script>
<script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
<script src="http://localhost:8000/static/js/scripts.js"></script>
<script src="https://ucsd-progsys.github.io/131-web/static/js/scripts.js"></script>



Expand Down

0 comments on commit 1f28522

Please sign in to comment.