Skip to content

Commit 2b3ec66

Browse files
committed
Add things to TODO
1 parent ae26e7c commit 2b3ec66

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

Diff for: TODO

+2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
Add applicative for shrinking?
2+
Fix bug with genericShrink on Integer
13
Fix collection of labels in conjunction and disjunction
24
Allow using unicode characters in Function instance for Char
35

0 commit comments

Comments
 (0)