Skip to content

Commit 29f73fa

Browse files
committed
Simplify Prelude.Nat
1 parent e5757d2 commit 29f73fa

File tree

1 file changed

+186
-210
lines changed

1 file changed

+186
-210
lines changed

0 commit comments

Comments
 (0)