git.stderr.nl Git - matthijs/master-project/dsd-paper.git/history

projects / matthijs / master-project / dsd-paper.git / history

[matthijs/master-project/dsd-paper.git] / cλash.lhs

2010-02-22	Christiaan Baaij	Update section on choice elements	blob \| commitdiff \| raw
2010-02-22	Christiaan Baaij	Fix some macro uses	blob \| commitdiff \| raw \| diff to current
2010-02-22	Christiaan Baaij	Merge branch 'master' of git.stderr.nl/matthijs/project...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Christiaan Baaij	Add pictures for choice section. Update section on...	blob \| commitdiff \| raw \| diff to current
2010-02-19	Matthijs Kooijman	Add section on higher order functions.	blob \| commitdiff \| raw \| diff to current
2010-02-19	Matthijs Kooijman	Add section on polymorphism.	blob \| commitdiff \| raw \| diff to current
2010-02-15	Christiaan Baaij	Add 2 figures of a macc	blob \| commitdiff \| raw \| diff to current
2010-02-11	Christiaan Baaij	Add extra meta-files to gitignore	blob \| commitdiff \| raw \| diff to current
2010-02-11	Christiaan Baaij	Add reference to Haskell and Verilog. Add something...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Beautify list environments	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Introduce our approach to functional HDL, and introduce...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Change remaining verbatim environments to code environments	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Merge branch 'master' of git.stderr.nl/matthijs/project...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Add paragraph to introduction about HDLs embedded in...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Matthijs Kooijman	Fix typos in related work.	blob \| commitdiff \| raw \| diff to current
2010-01-27	Matthijs Kooijman	Make the sumif example fit in a column.	blob \| commitdiff \| raw \| diff to current
2010-01-27	Matthijs Kooijman	Improve / shorten the section on types.	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Start using code instead of verbatim environments for...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Merge branch 'master' of git.stderr.nl/matthijs/project...	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Added another piece on state	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Start section on State	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Improve indenting of some of the verbatim stuff	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	improve description indenting and text wrapping	blob \| commitdiff \| raw \| diff to current
2010-01-27	Christiaan Baaij	Use lhs2tex for code and verbatim formatting	blob \| commitdiff \| raw \| diff to current

Paper intended for DSD 2010

RSS Atom