Stream vertex poking

2021-08-10 01:55:42 +02:00
parent b580666c57
commit 79eb031637
3 changed files with 32 additions and 34 deletions
@@ -49,7 +49,7 @@ dependencies:
 - QuickCheck
 - extra
 - primitive
-  #- streaming
+- streaming

 library:
  source-dirs: src