Fix higher-order cpu, also corrected in paper

Start on conclusion

Add potential thanks command to author list

Fix 4tapfir filter picture things

Update VHDL-2008 part in related work section

Make higher-ord cpu example even shorter

make paper version of highordcpu resemble compilable version of highordcpu

Reword description about vector type notation

Reduce code-size of higher-order cpu

Fix some textual things, and introduce the intention of the related work section

Fix some additional spelling mistakes

update higherorder cpu in the paper to correspond with the compilable version

Fix some spelling and layout mistakes

Merge branch 'master' of git.stderr.nl/matthijs/master-project/paper

Conflicts:
cλash.lhs

Update FIR example to include jan's comments, and do general cleanup of that section

Rewrite sentence about defunctionalization transformations

Add some newlines to the prototype section

Update section on the prototype compiler

Minor spelling and style fixes.

Correct 4tapfilter figure:

Update piece about state to show relation between the run function and the statefull descriptions

Remove unneeded language pragma's from higherordercpu.hs

Update gitignore file to ingore .o .hi files and the vhdl directory

Add translatable/compilable version of the higher-order CPU

Add code for higher order CPU use case (no text yet).

Process jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State sectionProcess jan's comments on the State section

Update code examples in choice section to use Equiv instead of Eq so not to confuse with the Eq type class

update choice figure to include equality test with Equiv

Process jan's comments on higher-order functions

Include jan's comments on polymorphism

Include jan's comments on the type section

Proces jan's comment on the choice section

Fixed some formatting in acronyms. Switched a sentence in introduction about clash being limited to synchronous models

Fix some spelling mistakes in Function application section

Update introduction to include jan's comments

Actually add the SVG of the compiler pipeline

Add image of the compiler pipeline and fix some spelling errors

Merge branch 'master' of git.stderr.nl/matthijs/master-project/paper

Add some initial content to the Prototype section.

Update parts of related work section on Lava and VHDL-2008

Rotate fir netlist by 90 deg

fix layout of choice section

Use epstopdf package to include svg files

Move entire FIR example to use case section

Add part about the run-function to the section about state

Move FIR example to use case section

Update section about State to include FIR example

Update part about higher-order functions to just the calculation of the dot-product. FIR filter design will be further elaborated in the state section.

Rewrite starting parts about high-order functions

Fix some typo's in the polymorphism section

Updated part about polymorhism, now mentions the types of polymorphism by their correct names

Clean up parts on user-defined ADT's

Define how choice elements are translated to hardware. Update bits on types

Update some more things on function application

update some parts on function application

Add figure of stateful Multiply-Accumulate

Update introduction of the type section, and remove parts about built-in types

Update section on choice elements

Fix some macro uses

Merge branch 'master' of git.stderr.nl/matthijs/projects/cλash-paper

Add pictures for choice section. Update section on function application

Add section on higher order functions.

Add section on polymorphism.

Removed true-type fonts from svgs

Add 2 figures of a macc

Add extra meta-files to gitignore

Add reference to Haskell and Verilog. Add something about state to introduction

Set latexmk to continous preview, requires custom latexmkrc to call lhs2tex

Beautify list environments

Introduce our approach to functional HDL, and introduce the prototype translater

Change remaining verbatim environments to code environments

Merge branch 'master' of git.stderr.nl/matthijs/projects/cλash-paper

* 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper:
  Fix typos in related work.
  Make the sumif example fit in a column.
  Improve / shorten the section on types.

Conflicts:
cλash.lhs

Add paragraph to introduction about HDLs embedded in Haskell

Fix typos in related work.

Make the sumif example fit in a column.

Improve / shorten the section on types.

Start using code instead of verbatim environments for code listings

Merge branch 'master' of git.stderr.nl/matthijs/projects/cλash-paper

* 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper:
  Don't pass --haskell to lhs2TeX, it is the default.

Don't pass --haskell to lhs2TeX, it is the default.

This makes compilation work with lhs2Tex version 1.13 and before.

Added another piece on state

Start section on State

Improve indenting of some of the verbatim stuff

improve description indenting and text wrapping

Add cλash.tex to ignore list, as it is now generated through lhs2tex

Use lhs2tex for code and verbatim formatting

Update VHDL command to use \small instead of \textsc

Add quote command, and use it

Wrap text to fit in 78 char line width

Merge branch 'master' of git.stderr.nl/matthijs/projects/cλash-paper

* 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper:
  Improve the sections on application and choice a bit.
  Fix typo.

Conflicts:
cλash.tex

Improve the sections on application and choice a bit.

I'm not 100% sure this compiles, it seems my latex system broke due to
an update.

Fix typo.

Change \VHDL command, and use the \VHDL command more consistantly in the text

Added reference to FL

Add \CLasH command, update title

Add some additional files to the ignore list

Started on introduction, which required additional references

Add some extra references on existing functional languages

Add .gitignore file

Add related work section

Add references bibtex file