Use Fold for rendering

This commit is contained in:
jgk
2021-08-02 02:14:09 +02:00
parent 54c912224b
commit 12e7af0755
4 changed files with 21 additions and 7 deletions
+1
View File
@@ -48,6 +48,7 @@ dependencies:
- directory
- QuickCheck
- extra
#- streaming
library:
source-dirs: src