\documentclass[a4paper]{article}
\pagestyle{empty}
\usepackage{url}
\usepackage{multicol}
\usepackage[left=1.8cm,top=4cm,bottom=2cm,right=1.8cm,nohead,nofoot]{geometry}
\usepackage{sectsty}
\usepackage{relsize}
\allsectionsfont{\sffamily\raggedright}
\begin{document}

\begin{figure}[t]
\hspace{0.2cm}
\begin{minipage}[t]{.55\textwidth}
\flushleft
\Huge\textbf{Haskell Weekly News} 
\end{minipage}
\hfill
\raisebox{0.4cm}{
\begin{minipage}[t]{.40\textwidth}
\flushright
Issue 49, November 14, 2006 \\
\url{http://sequence.complete.org/}
\end{minipage}
}
\hspace{0.5cm}
\hrule
\vspace{0.5cm}
\end{figure}
\setlength{\columnsep}{0.5cm}
\setlength{\multicolsep}{1cm}
\begin{multicols}{2}
\setcounter{unbalance}{3}
\raggedcolumns

\section*{Compiling Haskell to Javascript}

Dimitry Golubovsky announced Ycr2js, a sub-project within the York Haskell Compiler (Yhc) project. It is aimed to create a tool to convert an arbitrary Haskell program into Javascript which in turn may be executed in any Web browser. With great amount of help from the Yhc Team, the converter has been integrated into the Yhc project, and initial stage of coding and development has been completed.
     
\section*{System.FilePath 0.10}

Neil Mitchell announce System.FilePath 0.10, which hopefully is pretty close to final. This library manipulates FilePath's correctly on both Posix and Windows.

\section*{Major typeclass overhaul}

Simon Peyton-Jones mentioned that for some time he has been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. This overhaul has now been completed, and user-visible changes are summarised, including: GHC's type inference becomes complete, the restriction that every constraint in a type signature must mention at least one of the quantified type variables is lifted, dictionaries are packaged in data constructors and the proper interaction between GADTs and type classes is now respected.
     
\section*{Implementing the lambda calculus}

Lennart Augustsson wrote about implementing interpreters for the lambda-calculus in Haskell, to experiment with different implementation methods.
     
\section*{Great language shootout: reloaded}

Don Stewart mentioned that now GHC 6.6 is available on the shootout machines, the time has come to improve the existing language shootout entries. Improvements can be posted to the wiki for review.

\bigskip
\hrule

\section*{Conferences}

The Asian Symposium on Programming Languages and Systems was held in
Sydney. Several Haskell-related papers were presented, including:
\begin{itemize}
     \item Type Processing by Constraint Reasoning. Peter Stuckey.
     \item Principal Type Inference for GHC-Style Multi-Parameter Type Classes. Martin Sulzmann, Tom Schrijvers and Peter J Stuckey.
     \item Automatic Testing of Higher Order Functions. Pieter Koopman and Rinus Plasmeijer.
\end{itemize}

\bigskip
\hrule

\section*{Jobs}

\subsection*{Research position in spatial cognition} 

Till Mossakowski announced the availability of a Doctoral Research
Assistant / Postdoctoral Researcher position at the Universität Bremen,
concerned with classification and formalization of qualitative spatial
calculi, relations among these calculi, spatial ontologies, and route
graphs.

\bigskip
\hrule

\section*{Quotes}

\begin{itemize}

\item \emph{lennart} System Verilog is one of the worst 'designs' I've
ever seen. So I bet it will be popular

\item \emph{lispy} The biggest reason most developers I know don't fix a
bug is because they don't know it exists yet

\end{itemize}

\end{multicols}
\vspace*{\fill}

\hrule
\hspace{0.5cm}

\flushleft
\begin{minipage}[t]{\textwidth}
\flushleft
\textbf{Choose higher order, polymorphic and purely functional. Choose Haskell.} \\
\url{http://haskell.org/} \\
\end{minipage}

\end{document}