IdrisPipes
IdrisPipes copied to clipboard
QuentinDuval
A library for composable and effectful production, transformation and consumption of streams of data in Idris
Results
1
IdrisPipes issues
Sort by
recently updated
recently updated
newest added
It looks like `stdinLn` expects a `String` argument. To get the example to compile, I changed the code to be consistent with the code snippet in the blog post.
Metadata
35
Stars
3
Forks
Watchers
Owner
Metadata
A library for composable and effectful production, transformation and consumption of streams of data in Idris