Added algebraic law on 'iter' and 'then'
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 20 Jul 2010 18:23:32 +0000 (14:23 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 20 Jul 2010 18:23:32 +0000 (14:23 -0400)
commit044b82c31eef98d5202571aff893866c1184c764
treeb46659c128a9f5f581ef2bcb0b6256982c2606c3
parent2d6399f42b21ba04071846d920c5be7ae45f914f
Added algebraic law on 'iter' and 'then'
paper/dfopt.tex
src/Compiler/Hoopl/Stream.hs [new file with mode: 0644]