521e5e1e974bf05849113dc9bc8f912be4e556fb
-rw-r--r-- 2346 dotproduct.lhs
-rw-r--r-- 2672 fir.lhs
-rw-r--r-- 521 introduction.lhs
-rw-r--r-- 4224 recursion.lhs
-rw-r--r-- 5653 reductioncircuit.lhs
-rw-r--r-- 10173 structure.lhs