Clean up parts on user-defined ADT's
[matthijs/master-project/dsd-paper.git] / cλash.lhs
2010-02-24 Christiaan BaaijClean up parts on user-defined ADT's
2010-02-24 Christiaan BaaijDefine how choice elements are translated to hardware...
2010-02-24 Christiaan BaaijUpdate some more things on function application
2010-02-24 Christiaan Baaijupdate some parts on function application
2010-02-22 Christiaan BaaijAdd figure of stateful Multiply-Accumulate
2010-02-22 Christiaan BaaijUpdate introduction of the type section, and remove...
2010-02-22 Christiaan BaaijUpdate section on choice elements
2010-02-22 Christiaan BaaijFix some macro uses
2010-02-22 Christiaan BaaijMerge branch 'master' of
2010-02-22 Christiaan BaaijAdd pictures for choice section. Update section on...
2010-02-19 Matthijs KooijmanAdd section on higher order functions.
2010-02-19 Matthijs KooijmanAdd section on polymorphism.
2010-02-15 Christiaan BaaijAdd 2 figures of a macc
2010-02-11 Christiaan BaaijAdd extra meta-files to gitignore
2010-02-11 Christiaan BaaijAdd reference to Haskell and Verilog. Add something...
2010-01-27 Christiaan BaaijBeautify list environments
2010-01-27 Christiaan BaaijIntroduce our approach to functional HDL, and introduce...
2010-01-27 Christiaan BaaijChange remaining verbatim environments to code environments
2010-01-27 Christiaan BaaijMerge branch 'master' of
2010-01-27 Christiaan BaaijAdd paragraph to introduction about HDLs embedded in...
2010-01-27 Matthijs KooijmanFix typos in related work.
2010-01-27 Matthijs KooijmanMake the sumif example fit in a column.
2010-01-27 Matthijs KooijmanImprove / shorten the section on types.
2010-01-27 Christiaan BaaijStart using code instead of verbatim environments for...
2010-01-27 Christiaan BaaijMerge branch 'master' of
2010-01-27 Christiaan BaaijAdded another piece on state
2010-01-27 Christiaan BaaijStart section on State
2010-01-27 Christiaan BaaijImprove indenting of some of the verbatim stuff
2010-01-27 Christiaan Baaijimprove description indenting and text wrapping
2010-01-27 Christiaan BaaijUse lhs2tex for code and verbatim formatting