Skip to content

Commit 372a05c

Browse files
lichtkindlichtkind
committed
pred and succ work not only on Num
1 parent b821e40 commit 372a05c

File tree

2 files changed

+4
-75
lines changed

2 files changed

+4
-75
lines changed

0 commit comments

Comments
 (0)