Update figure of higher-order ALU, and fix some miner spelling mistakes

Add figure of counter netlist, and update part about higher-order cpu

Include Arjan's comments uptil the Type section

Slightly update the introduction

Fix some spelling mistakes in related work section

Partially rewrite the related work section based on new information on ForSyDe. Also include paragraph on Bluespec.

Fix some more spelling and sentence mistakes

Fix additional sentences

CλaSH support type classes and instances now, so update paper accordingly

Various small updates

Update introduction according to Koen's comments

Give all code examples a number and label

Update introduction

Add picture of higherordercpu and fix layout

Process most of jan's comments

Use \hs instead of quotes.

Use function names instead of operators in the higher order CPU.

Add description and multi operation alu to higher order cpu.

Add cpustate type alias

Update abstract, include thanks

Update conclusion, start on future work section

Reverse state and inputs in higher-order cpu

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.