projects / matthijs / master-project / dsd-paper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: ad8bfec 65710ee)
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)
commit38a92f9980362c4e99f1d3143dbc8dbcc84be766
treede49312deb055009a25e12583a0188118aa7a4f7tree | snapshot
parentad8bfec91e5117f3f09f972909e05f97b359fa45commit | diff
parent65710eed8d14ac473d4a2dacc32d5daa85f1b6dbcommit | diff
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
cλash.lhs diff1 | diff2 | blob | history
Paper intended for DSD 2010