Index
| d0 | Data.Digit |
| d1 | Data.Digit |
| d2 | Data.Digit |
| d3 | Data.Digit |
| d4 | Data.Digit |
| d5 | Data.Digit |
| d6 | Data.Digit |
| d7 | Data.Digit |
| d8 | Data.Digit |
| d9 | Data.Digit |
| Digit | Data.Digit |
| digitTests | Test.Data.Digit |
| foldDigit | Data.Digit |
| if0 | Data.Digit |
| if1 | Data.Digit |
| if2 | Data.Digit |
| if3 | Data.Digit |
| if4 | Data.Digit |
| if5 | Data.Digit |
| if6 | Data.Digit |
| if7 | Data.Digit |
| if8 | Data.Digit |
| if9 | Data.Digit |
| ifEven | Data.Digit |
| ifOdd | Data.Digit |
| main | Test.Data.Digit |
| prop_even_odd | Test.Data.Digit |
| prop_fold | Test.Data.Digit |
| prop_if | Test.Data.Digit |