streaming-benchmarks

Benchmarks for streaming libraries in Idris2 (idris2-streams) and Haskell (conduit, pipes).

Benchmark	Link
Fahrenheit to celsius	link
String searching	link