projects / matthijs / master-project / dsd-paper.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: 38a92f9)
Merge branch 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 15:32:56 +0000 (16:32 +0100)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 15:32:56 +0000 (16:32 +0100)
* '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


No differences found
Paper intended for DSD 2010