b39ebd985b57ff61d5e0165f63ea287a82727a9a
-rw-r--r-- 1517 dotproduct.lhs
-rw-r--r-- 1765 fir.lhs
-rw-r--r-- 393 introduction.lhs
-rw-r--r-- 1761 recursion.lhs
-rw-r--r-- 2603 reductioncircuit.lhs
-rw-r--r-- 4584 structure.lhs