Eight | Data.Type.Natural |
eight | Data.Type.Natural |
Eighteen | Data.Type.Natural |
eighteen | Data.Type.Natural |
EighteenSym0 | Data.Type.Natural |
EightSym0 | Data.Type.Natural |
Eleven | Data.Type.Natural |
eleven | Data.Type.Natural |
ElevenSym0 | Data.Type.Natural |
enumOrdinal | |
1 (Function) | Data.Type.Ordinal |
2 (Function) | Data.Type.Ordinal.Builtin |
3 (Function) | Data.Type.Ordinal.Peano |
eqlCmpEQ | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
eqToRefl | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |