Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

114 lines (91 sloc) 2.008 kb
<html>
<head>
<title>Effective Scala</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<script type="text/javascript" src="http://use.typekit.com/bub8efs.js"></script>
<script type="text/javascript">try{Typekit.load();}catch(e){}</script>
<!--
<link href='http://fonts.googleapis.com/css?family=Droid+Sans+Mono' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Droid+Serif' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Droid+Sans' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
-->
<link href='http://fonts.googleapis.com/css?family=Droid+Sans+Mono' rel='stylesheet' type='text/css'>
<style>
body {
font-family: "ff-meta-serif-web-pro", times, serif;
margin: 0 1.0in 0 1.0in;
/* line-height: 1.3em;*/
}
address {
text-align: center;
}
.header {
text-align: center;
margin-top: 1em;
}
.rhs {
text-align: left;
}
p {
text-indent: 1em;
text-align: justify;
}
.LP {
text-indent: 0em;
}
code {
font-family: "Droid Sans Mono'", monospace;
/* font-size: 0.75em;*/
font-size: 0.80em;
}
address {
font-family: sans-serif;
}
h1 {
font-family: "prenton-condensed";
}
h2 {
font-weight: bold;
font-size: 110%;
margin-top: 1.5em;
margin-bottom: 0.05in;
}
h3 {
font-size: 100%;
font-style: oblique;
margin-top: 1.5em;
margin-bottom: 0.05in;
}
pre {
margin: 0 0.5in 0 0.5in;
}
dl.rules dt {
font-style: oblique;
}
table#toc {
margin: 0 auto;
}
/* XXX: apply only to TOC. todo: reapply -- html whatever? */
ul {
/* list-style-type: none;*/
}
.algo {
font-variant: small-caps;
}
div.explainer {
margin-left: 3em;
border-left: 2px solid;
padding-left: 1em;
}
.explainer > h3 {
margin-top: 0px;
font-style: normal;
}
.footer {
font-style: oblique;
font-size: small;
}
</style>
</head>
<body>
Jump to Line
Something went wrong with that request. Please try again.