Miscellaneous Agda experiments Ideas: Algorithms from Generic functional parallel algorithms: Scan and FFT. Maybe more. Generalized convolution