1
0
1
0
1
0
1
0
4
8
1
0
1
0
1
2
Proving properties of type-level natural numbers obtained from user input
by Bas van Dijk 19 Dec '14
by Bas van Dijk 19 Dec '14
19 Dec '14
4
11
3
3