| axxu101 · tt · X · Y | ⇒ | axxu102 · (axxisNaturalKind · X) · X · Y
|
| axxu102 · tt · U · V | ⇒ | axxu103 · (axxisLNatKind · V) · U · V
|
| axxu103 · tt · W · P | ⇒ | axxu104 · (axxisLNatKind · P) · W · P
|
| axxu104 · tt · X1 · Y1 | ⇒ | axxu105 · (axxisNatural · X1) · Y1
|
| axxu105 · tt · U1 | ⇒ | axxu106 · (axxisLNat · U1)
|
| axxu106 · tt | ⇒ | tt
|
| axxu11 · tt · V1 · W1 | ⇒ | axxu12 · (axxisNaturalKind · V1) · V1 · W1
|
| axxu111 · tt · P1 | ⇒ | axxu112 · (axxisLNatKind · P1)
|
| axxu112 · tt | ⇒ | tt
|
| axxu12 · tt · X2 · Y2 | ⇒ | axxu13 · (axxisLNat · Y2) · X2 · Y2
|
| axxu121 · tt · U2 | ⇒ | axxu122 · (axxisLNatKind · U2)
|
| axxu122 · tt | ⇒ | tt
|
| axxu13 · tt · V2 · W2 | ⇒ | axxu14 · (axxisLNatKind · W2) · V2 · W2
|
| axxu131 · tt | ⇒ | tt
|
| axxu14 · tt · P2 · X3 | ⇒ | axxsnd · (axxsplitAt · (mark · P2) · (mark · X3))
|
| axxu141 · tt | ⇒ | tt
|
| axxu151 · tt | ⇒ | tt
|
| axxu161 · tt | ⇒ | tt
|
| axxu171 · tt · Y3 | ⇒ | axxu172 · (axxisLNatKind · Y3)
|
| axxu172 · tt | ⇒ | tt
|
| axxu181 · tt · U3 | ⇒ | axxu182 · (axxisLNatKind · U3) · U3
|
| axxu182 · tt · V3 | ⇒ | axxu183 · (axxisLNat · V3)
|
| axxu183 · tt | ⇒ | tt
|
| axxu191 · tt · W3 | ⇒ | axxu192 · (axxisNaturalKind · W3) · W3
|
| axxu192 · tt · P3 | ⇒ | axxu193 · (axxisNatural · P3)
|
| axxu193 · tt | ⇒ | tt
|
| axxu201 · tt · X4 · Y4 | ⇒ | axxu202 · (axxisNaturalKind · X4) · X4 · Y4
|
| axxu202 · tt · U4 · V4 | ⇒ | axxu203 · (axxisLNatKind · V4) · U4 · V4
|
| axxu203 · tt · W4 · P4 | ⇒ | axxu204 · (axxisLNatKind · P4) · W4 · P4
|
| axxu204 · tt · X5 · Y5 | ⇒ | axxu205 · (axxisNatural · X5) · Y5
|
| axxu205 · tt · U5 | ⇒ | axxu206 · (axxisLNat · U5)
|
| axxu206 · tt | ⇒ | tt
|
| axxu21 · tt · V5 · W5 | ⇒ | axxu22 · (axxisLNatKind · V5) · V5 · W5
|
| axxu211 · tt | ⇒ | tt
|
| axxu22 · tt · P5 · X6 | ⇒ | axxu23 · (axxisLNat · X6) · P5 · X6
|
| axxu221 · tt | ⇒ | tt
|
| axxu23 · tt · Y6 · U6 | ⇒ | axxu24 · (axxisLNatKind · U6) · Y6
|
| axxu231 · tt · V6 | ⇒ | axxu232 · (axxisLNatKind · V6)
|
| axxu232 · tt | ⇒ | tt
|
| axxu24 · tt · W6 | ⇒ | mark · W6
|
| axxu241 · tt · P6 · X7 | ⇒ | axxu242 · (axxisLNatKind · P6) · P6 · X7
|
| axxu242 · tt · Y7 · U7 | ⇒ | axxu243 · (axxisLNatKind · U7) · Y7 · U7
|
| axxu243 · tt · V7 · W7 | ⇒ | axxu244 · (axxisLNatKind · W7) · V7 · W7
|
| axxu244 · tt · P7 · X8 | ⇒ | axxu245 · (axxisLNat · P7) · X8
|
| axxu245 · tt · Y8 | ⇒ | axxu246 · (axxisLNat · Y8)
|
| axxu246 · tt | ⇒ | tt
|
| axxu251 · tt · U8 · V8 | ⇒ | axxu252 · (axxisNaturalKind · U8) · U8 · V8
|
| axxu252 · tt · W8 · P8 | ⇒ | axxu253 · (axxisLNatKind · P8) · W8 · P8
|
| axxu253 · tt · X9 · Y9 | ⇒ | axxu254 · (axxisLNatKind · Y9) · X9 · Y9
|
| axxu254 · tt · U9 · V9 | ⇒ | axxu255 · (axxisNatural · U9) · V9
|
| axxu255 · tt · W9 | ⇒ | axxu256 · (axxisLNat · W9)
|
| axxu256 · tt | ⇒ | tt
|
| axxu261 · tt · P9 | ⇒ | axxu262 · (axxisLNatKind · P9)
|
| axxu262 · tt | ⇒ | tt
|
| axxu271 · tt · X10 | ⇒ | axxu272 · (axxisLNatKind · X10)
|
| axxu272 · tt | ⇒ | tt
|
| axxu281 · tt · Y10 | ⇒ | axxu282 · (axxisNaturalKind · Y10) · Y10
|
| axxu282 · tt · U10 | ⇒ | cons · (mark · U10) · (natsFrom · (s · U10))
|
| axxu291 · tt · V10 · W10 | ⇒ | axxu292 · (axxisNaturalKind · V10) · V10 · W10
|
| axxu292 · tt · P10 · X11 | ⇒ | axxu293 · (axxisLNat · X11) · P10 · X11
|
| axxu293 · tt · Y11 · U11 | ⇒ | axxu294 · (axxisLNatKind · U11) · Y11 · U11
|
| axxu294 · tt · V11 · W11 | ⇒ | axxhead · (axxafterNth · (mark · V11) · (mark · W11))
|
| axxu301 · tt · P11 · X12 | ⇒ | axxu302 · (axxisLNatKind · P11) · X12
|
| axxu302 · tt · Y12 | ⇒ | axxu303 · (axxisLNat · Y12) · Y12
|
| axxu303 · tt · U12 | ⇒ | axxu304 · (axxisLNatKind · U12) · U12
|
| axxu304 · tt · V12 | ⇒ | mark · V12
|
| axxu31 · tt · W12 · P12 | ⇒ | axxu32 · (axxisNaturalKind · W12) · W12 · P12
|
| axxu311 · tt · X13 | ⇒ | axxu312 · (axxisLNatKind · X13) · X13
|
| axxu312 · tt · Y13 | ⇒ | pair · nil · (mark · Y13)
|
| axxu32 · tt · U13 · V13 | ⇒ | axxu33 · (axxisLNat · V13) · U13 · V13
|
| axxu321 · tt · W13 · P13 · X14 | ⇒ | axxu322 · (axxisNaturalKind · W13) · W13 · P13 · X14
|
| axxu322 · tt · Y14 · U14 · V14 | ⇒ | axxu323 · (axxisNatural · U14) · Y14 · U14 · V14
|
| axxu323 · tt · W14 · P14 · X15 | ⇒ | axxu324 · (axxisNaturalKind · P14) · W14 · P14 · X15
|
| axxu324 · tt · Y15 · U15 · V15 | ⇒ | axxu325 · (axxisLNat · V15) · Y15 · U15 · V15
|
| axxu325 · tt · W15 · P15 · X16 | ⇒ | axxu326 · (axxisLNatKind · X16) · W15 · P15 · X16
|
| axxu326 · tt · Y16 · U16 · V16 | ⇒ | axxu327 · (axxsplitAt · (mark · Y16) · (mark · V16)) · U16
|
| axxu327 · (pair · W16 · P16) · X17 | ⇒ | pair · (cons · (mark · X17) · W16) · (mark · P16)
|
| axxu33 · tt · Y17 · U17 | ⇒ | axxu34 · (axxisLNatKind · U17) · Y17
|
| axxu331 · tt · V17 · W17 | ⇒ | axxu332 · (axxisNaturalKind · V17) · W17
|
| axxu332 · tt · P17 | ⇒ | axxu333 · (axxisLNat · P17) · P17
|
| axxu333 · tt · X18 | ⇒ | axxu334 · (axxisLNatKind · X18) · X18
|
| axxu334 · tt · Y18 | ⇒ | mark · Y18
|
| axxu34 · tt · U18 | ⇒ | mark · U18
|
| axxu341 · tt · V18 · W18 | ⇒ | axxu342 · (axxisNaturalKind · V18) · V18 · W18
|
| axxu342 · tt · P18 · X19 | ⇒ | axxu343 · (axxisLNat · X19) · P18 · X19
|
| axxu343 · tt · Y19 · U19 | ⇒ | axxu344 · (axxisLNatKind · U19) · Y19 · U19
|
| axxu344 · tt · V19 · W19 | ⇒ | axxfst · (axxsplitAt · (mark · V19) · (mark · W19))
|
| axxu41 · tt · P19 · X20 | ⇒ | axxu42 · (axxisNaturalKind · P19) · P19 · X20
|
| axxu42 · tt · Y20 · U20 | ⇒ | axxu43 · (axxisLNatKind · U20) · Y20 · U20
|
| axxu43 · tt · V20 · W20 | ⇒ | axxu44 · (axxisLNatKind · W20) · V20 · W20
|
| axxu44 · tt · P20 · X21 | ⇒ | axxu45 · (axxisNatural · P20) · X21
|
| axxu45 · tt · Y21 | ⇒ | axxu46 · (axxisLNat · Y21)
|
| axxu46 · tt | ⇒ | tt
|
| axxu51 · tt · U21 · V21 | ⇒ | axxu52 · (axxisNaturalKind · U21) · U21 · V21
|
| axxu52 · tt · W21 · P21 | ⇒ | axxu53 · (axxisLNatKind · P21) · W21 · P21
|
| axxu53 · tt · X22 · Y22 | ⇒ | axxu54 · (axxisLNatKind · Y22) · X22 · Y22
|
| axxu54 · tt · U22 · V22 | ⇒ | axxu55 · (axxisNatural · U22) · V22
|
| axxu55 · tt · W22 | ⇒ | axxu56 · (axxisLNat · W22)
|
| axxu56 · tt | ⇒ | tt
|
| axxu61 · tt · P22 | ⇒ | axxu62 · (axxisPLNatKind · P22) · P22
|
| axxu62 · tt · X23 | ⇒ | axxu63 · (axxisPLNat · X23)
|
| axxu63 · tt | ⇒ | tt
|
| axxu71 · tt · Y23 | ⇒ | axxu72 · (axxisNaturalKind · Y23) · Y23
|
| axxu72 · tt · U23 | ⇒ | axxu73 · (axxisNatural · U23)
|
| axxu73 · tt | ⇒ | tt
|
| axxu81 · tt · V23 | ⇒ | axxu82 · (axxisPLNatKind · V23) · V23
|
| axxu82 · tt · W23 | ⇒ | axxu83 · (axxisPLNat · W23)
|
| axxu83 · tt | ⇒ | tt
|
| axxu91 · tt · P23 | ⇒ | axxu92 · (axxisLNatKind · P23) · P23
|
| axxu92 · tt · X24 | ⇒ | axxu93 · (axxisLNat · X24)
|
| axxu93 · tt | ⇒ | tt
|
| axxafterNth · Y24 · U24 | ⇒ | axxu11 · (axxisNatural · Y24) · Y24 · U24
|
| axxfst · (pair · V24 · W24) | ⇒ | axxu21 · (axxisLNat · V24) · V24 · W24
|
| axxhead · (cons · P24 · X25) | ⇒ | axxu31 · (axxisNatural · P24) · P24 · X25
|
| axxisLNat · nil | ⇒ | tt
|
| axxisLNat · (afterNth · Y25 · U25) | ⇒ | axxu41 · (axxisNaturalKind · Y25) · Y25 · U25
|
| axxisLNat · (cons · V25 · W25) | ⇒ | axxu51 · (axxisNaturalKind · V25) · V25 · W25
|
| axxisLNat · (fst · P25) | ⇒ | axxu61 · (axxisPLNatKind · P25) · P25
|
| axxisLNat · (natsFrom · X26) | ⇒ | axxu71 · (axxisNaturalKind · X26) · X26
|
| axxisLNat · (snd · Y26) | ⇒ | axxu81 · (axxisPLNatKind · Y26) · Y26
|
| axxisLNat · (tail · U26) | ⇒ | axxu91 · (axxisLNatKind · U26) · U26
|
| axxisLNat · (take · V26 · W26) | ⇒ | axxu101 · (axxisNaturalKind · V26) · V26 · W26
|
| axxisLNatKind · nil | ⇒ | tt
|
| axxisLNatKind · (afterNth · P26 · X27) | ⇒ | axxu111 · (axxisNaturalKind · P26) · X27
|
| axxisLNatKind · (cons · Y27 · U27) | ⇒ | axxu121 · (axxisNaturalKind · Y27) · U27
|
| axxisLNatKind · (fst · V27) | ⇒ | axxu131 · (axxisPLNatKind · V27)
|
| axxisLNatKind · (natsFrom · W27) | ⇒ | axxu141 · (axxisNaturalKind · W27)
|
| axxisLNatKind · (snd · P27) | ⇒ | axxu151 · (axxisPLNatKind · P27)
|
| axxisLNatKind · (tail · X28) | ⇒ | axxu161 · (axxisLNatKind · X28)
|
| axxisLNatKind · (take · Y28 · U28) | ⇒ | axxu171 · (axxisNaturalKind · Y28) · U28
|
| axxisNatural · 0 | ⇒ | tt
|
| axxisNatural · (head · V28) | ⇒ | axxu181 · (axxisLNatKind · V28) · V28
|
| axxisNatural · (s · W28) | ⇒ | axxu191 · (axxisNaturalKind · W28) · W28
|
| axxisNatural · (sel · P28 · X29) | ⇒ | axxu201 · (axxisNaturalKind · P28) · P28 · X29
|
| axxisNaturalKind · 0 | ⇒ | tt
|
| axxisNaturalKind · (head · Y29) | ⇒ | axxu211 · (axxisLNatKind · Y29)
|
| axxisNaturalKind · (s · U29) | ⇒ | axxu221 · (axxisNaturalKind · U29)
|
| axxisNaturalKind · (sel · V29 · W29) | ⇒ | axxu231 · (axxisNaturalKind · V29) · W29
|
| axxisPLNat · (pair · P29 · X30) | ⇒ | axxu241 · (axxisLNatKind · P29) · P29 · X30
|
| axxisPLNat · (splitAt · Y30 · U30) | ⇒ | axxu251 · (axxisNaturalKind · Y30) · Y30 · U30
|
| axxisPLNatKind · (pair · V30 · W30) | ⇒ | axxu261 · (axxisLNatKind · V30) · W30
|
| axxisPLNatKind · (splitAt · P30 · X31) | ⇒ | axxu271 · (axxisNaturalKind · P30) · X31
|
| axxnatsFrom · Y31 | ⇒ | axxu281 · (axxisNatural · Y31) · Y31
|
| axxsel · U31 · V31 | ⇒ | axxu291 · (axxisNatural · U31) · U31 · V31
|
| axxsnd · (pair · W31 · P31) | ⇒ | axxu301 · (axxisLNat · W31) · W31 · P31
|
| axxsplitAt · 0 · X32 | ⇒ | axxu311 · (axxisLNat · X32) · X32
|
| axxsplitAt · (s · Y32) · (cons · U32 · V32) | ⇒ | axxu321 · (axxisNatural · Y32) · Y32 · U32 · V32
|
| axxtail · (cons · W32 · P32) | ⇒ | axxu331 · (axxisNatural · W32) · W32 · P32
|
| axxtake · X33 · Y33 | ⇒ | axxu341 · (axxisNatural · X33) · X33 · Y33
|
| mark · (u101 · U33 · V33 · W33) | ⇒ | axxu101 · (mark · U33) · V33 · W33
|
| mark · (u102 · P33 · X34 · Y34) | ⇒ | axxu102 · (mark · P33) · X34 · Y34
|
| mark · (isNaturalKind · U34) | ⇒ | axxisNaturalKind · U34
|
| mark · (u103 · V34 · W34 · P34) | ⇒ | axxu103 · (mark · V34) · W34 · P34
|
| mark · (isLNatKind · X35) | ⇒ | axxisLNatKind · X35
|
| mark · (u104 · Y35 · U35 · V35) | ⇒ | axxu104 · (mark · Y35) · U35 · V35
|
| mark · (u105 · W35 · P35) | ⇒ | axxu105 · (mark · W35) · P35
|
| mark · (isNatural · X36) | ⇒ | axxisNatural · X36
|
| mark · (u106 · Y36) | ⇒ | axxu106 · (mark · Y36)
|
| mark · (isLNat · U36) | ⇒ | axxisLNat · U36
|
| mark · (u11 · V36 · W36 · P36) | ⇒ | axxu11 · (mark · V36) · W36 · P36
|
| mark · (u12 · X37 · Y37 · U37) | ⇒ | axxu12 · (mark · X37) · Y37 · U37
|
| mark · (u111 · V37 · W37) | ⇒ | axxu111 · (mark · V37) · W37
|
| mark · (u112 · P37) | ⇒ | axxu112 · (mark · P37)
|
| mark · (u13 · X38 · Y38 · U38) | ⇒ | axxu13 · (mark · X38) · Y38 · U38
|
| mark · (u121 · V38 · W38) | ⇒ | axxu121 · (mark · V38) · W38
|
| mark · (u122 · P38) | ⇒ | axxu122 · (mark · P38)
|
| mark · (u14 · X39 · Y39 · U39) | ⇒ | axxu14 · (mark · X39) · Y39 · U39
|
| mark · (u131 · V39) | ⇒ | axxu131 · (mark · V39)
|
| mark · (snd · W39) | ⇒ | axxsnd · (mark · W39)
|
| mark · (splitAt · P39 · X40) | ⇒ | axxsplitAt · (mark · P39) · (mark · X40)
|
| mark · (u141 · Y40) | ⇒ | axxu141 · (mark · Y40)
|
| mark · (u151 · U40) | ⇒ | axxu151 · (mark · U40)
|
| mark · (u161 · V40) | ⇒ | axxu161 · (mark · V40)
|
| mark · (u171 · W40 · P40) | ⇒ | axxu171 · (mark · W40) · P40
|
| mark · (u172 · X41) | ⇒ | axxu172 · (mark · X41)
|
| mark · (u181 · Y41 · U41) | ⇒ | axxu181 · (mark · Y41) · U41
|
| mark · (u182 · V41 · W41) | ⇒ | axxu182 · (mark · V41) · W41
|
| mark · (u183 · P41) | ⇒ | axxu183 · (mark · P41)
|
| mark · (u191 · X42 · Y42) | ⇒ | axxu191 · (mark · X42) · Y42
|
| mark · (u192 · U42 · V42) | ⇒ | axxu192 · (mark · U42) · V42
|
| mark · (u193 · W42) | ⇒ | axxu193 · (mark · W42)
|
| mark · (u201 · P42 · X43 · Y43) | ⇒ | axxu201 · (mark · P42) · X43 · Y43
|
| mark · (u202 · U43 · V43 · W43) | ⇒ | axxu202 · (mark · U43) · V43 · W43
|
| mark · (u203 · P43 · X44 · Y44) | ⇒ | axxu203 · (mark · P43) · X44 · Y44
|
| mark · (u204 · U44 · V44 · W44) | ⇒ | axxu204 · (mark · U44) · V44 · W44
|
| mark · (u205 · P44 · X45) | ⇒ | axxu205 · (mark · P44) · X45
|
| mark · (u206 · Y45) | ⇒ | axxu206 · (mark · Y45)
|
| mark · (u21 · U45 · V45 · W45) | ⇒ | axxu21 · (mark · U45) · V45 · W45
|
| mark · (u22 · P45 · X46 · Y46) | ⇒ | axxu22 · (mark · P45) · X46 · Y46
|
| mark · (u211 · U46) | ⇒ | axxu211 · (mark · U46)
|
| mark · (u23 · V46 · W46 · P46) | ⇒ | axxu23 · (mark · V46) · W46 · P46
|
| mark · (u221 · X47) | ⇒ | axxu221 · (mark · X47)
|
| mark · (u24 · Y47 · U47) | ⇒ | axxu24 · (mark · Y47) · U47
|
| mark · (u231 · V47 · W47) | ⇒ | axxu231 · (mark · V47) · W47
|
| mark · (u232 · P47) | ⇒ | axxu232 · (mark · P47)
|
| mark · (u241 · X48 · Y48 · U48) | ⇒ | axxu241 · (mark · X48) · Y48 · U48
|
| mark · (u242 · V48 · W48 · P48) | ⇒ | axxu242 · (mark · V48) · W48 · P48
|
| mark · (u243 · X49 · Y49 · U49) | ⇒ | axxu243 · (mark · X49) · Y49 · U49
|
| mark · (u244 · V49 · W49 · P49) | ⇒ | axxu244 · (mark · V49) · W49 · P49
|
| mark · (u245 · X50 · Y50) | ⇒ | axxu245 · (mark · X50) · Y50
|
| mark · (u246 · U50) | ⇒ | axxu246 · (mark · U50)
|
| mark · (u251 · V50 · W50 · P50) | ⇒ | axxu251 · (mark · V50) · W50 · P50
|
| mark · (u252 · X51 · Y51 · U51) | ⇒ | axxu252 · (mark · X51) · Y51 · U51
|
| mark · (u253 · V51 · W51 · P51) | ⇒ | axxu253 · (mark · V51) · W51 · P51
|
| mark · (u254 · X52 · Y52 · U52) | ⇒ | axxu254 · (mark · X52) · Y52 · U52
|
| mark · (u255 · V52 · W52) | ⇒ | axxu255 · (mark · V52) · W52
|
| mark · (u256 · P52) | ⇒ | axxu256 · (mark · P52)
|
| mark · (u261 · X53 · Y53) | ⇒ | axxu261 · (mark · X53) · Y53
|
| mark · (u262 · U53) | ⇒ | axxu262 · (mark · U53)
|
| mark · (u271 · V53 · W53) | ⇒ | axxu271 · (mark · V53) · W53
|
| mark · (u272 · P53) | ⇒ | axxu272 · (mark · P53)
|
| mark · (u281 · X54 · Y54) | ⇒ | axxu281 · (mark · X54) · Y54
|
| mark · (u282 · U54 · V54) | ⇒ | axxu282 · (mark · U54) · V54
|
| mark · (natsFrom · W54) | ⇒ | axxnatsFrom · (mark · W54)
|
| mark · (u291 · P54 · X55 · Y55) | ⇒ | axxu291 · (mark · P54) · X55 · Y55
|
| mark · (u292 · U55 · V55 · W55) | ⇒ | axxu292 · (mark · U55) · V55 · W55
|
| mark · (u293 · P55 · X56 · Y56) | ⇒ | axxu293 · (mark · P55) · X56 · Y56
|
| mark · (u294 · U56 · V56 · W56) | ⇒ | axxu294 · (mark · U56) · V56 · W56
|
| mark · (head · P56) | ⇒ | axxhead · (mark · P56)
|
| mark · (afterNth · X57 · Y57) | ⇒ | axxafterNth · (mark · X57) · (mark · Y57)
|
| mark · (u301 · U57 · V57 · W57) | ⇒ | axxu301 · (mark · U57) · V57 · W57
|
| mark · (u302 · P57 · X58) | ⇒ | axxu302 · (mark · P57) · X58
|
| mark · (u303 · Y58 · U58) | ⇒ | axxu303 · (mark · Y58) · U58
|
| mark · (u304 · V58 · W58) | ⇒ | axxu304 · (mark · V58) · W58
|
| mark · (u31 · P58 · X59 · Y59) | ⇒ | axxu31 · (mark · P58) · X59 · Y59
|
| mark · (u32 · U59 · V59 · W59) | ⇒ | axxu32 · (mark · U59) · V59 · W59
|
| mark · (u311 · P59 · X60) | ⇒ | axxu311 · (mark · P59) · X60
|
| mark · (u312 · Y60 · U60) | ⇒ | axxu312 · (mark · Y60) · U60
|
| mark · (u33 · V60 · W60 · P60) | ⇒ | axxu33 · (mark · V60) · W60 · P60
|
| mark · (u321 · X61 · Y61 · U61 · V61) | ⇒ | axxu321 · (mark · X61) · Y61 · U61 · V61
|
| mark · (u322 · W61 · P61 · X62 · Y62) | ⇒ | axxu322 · (mark · W61) · P61 · X62 · Y62
|
| mark · (u323 · U62 · V62 · W62 · P62) | ⇒ | axxu323 · (mark · U62) · V62 · W62 · P62
|
| mark · (u324 · X63 · Y63 · U63 · V63) | ⇒ | axxu324 · (mark · X63) · Y63 · U63 · V63
|
| mark · (u325 · W63 · P63 · X64 · Y64) | ⇒ | axxu325 · (mark · W63) · P63 · X64 · Y64
|
| mark · (u326 · U64 · V64 · W64 · P64) | ⇒ | axxu326 · (mark · U64) · V64 · W64 · P64
|
| mark · (u327 · X65 · Y65) | ⇒ | axxu327 · (mark · X65) · Y65
|
| mark · (u34 · U65 · V65) | ⇒ | axxu34 · (mark · U65) · V65
|
| mark · (u331 · W65 · P65 · X66) | ⇒ | axxu331 · (mark · W65) · P65 · X66
|
| mark · (u332 · Y66 · U66) | ⇒ | axxu332 · (mark · Y66) · U66
|
| mark · (u333 · V66 · W66) | ⇒ | axxu333 · (mark · V66) · W66
|
| mark · (u334 · P66 · X67) | ⇒ | axxu334 · (mark · P66) · X67
|
| mark · (u341 · Y67 · U67 · V67) | ⇒ | axxu341 · (mark · Y67) · U67 · V67
|
| mark · (u342 · W67 · P67 · X68) | ⇒ | axxu342 · (mark · W67) · P67 · X68
|
| mark · (u343 · Y68 · U68 · V68) | ⇒ | axxu343 · (mark · Y68) · U68 · V68
|
| mark · (u344 · W68 · P68 · X69) | ⇒ | axxu344 · (mark · W68) · P68 · X69
|
| mark · (fst · Y69) | ⇒ | axxfst · (mark · Y69)
|
| mark · (u41 · U69 · V69 · W69) | ⇒ | axxu41 · (mark · U69) · V69 · W69
|
| mark · (u42 · P69 · X70 · Y70) | ⇒ | axxu42 · (mark · P69) · X70 · Y70
|
| mark · (u43 · U70 · V70 · W70) | ⇒ | axxu43 · (mark · U70) · V70 · W70
|
| mark · (u44 · P70 · X71 · Y71) | ⇒ | axxu44 · (mark · P70) · X71 · Y71
|
| mark · (u45 · U71 · V71) | ⇒ | axxu45 · (mark · U71) · V71
|
| mark · (u46 · W71) | ⇒ | axxu46 · (mark · W71)
|
| mark · (u51 · P71 · X72 · Y72) | ⇒ | axxu51 · (mark · P71) · X72 · Y72
|
| mark · (u52 · U72 · V72 · W72) | ⇒ | axxu52 · (mark · U72) · V72 · W72
|
| mark · (u53 · P72 · X73 · Y73) | ⇒ | axxu53 · (mark · P72) · X73 · Y73
|
| mark · (u54 · U73 · V73 · W73) | ⇒ | axxu54 · (mark · U73) · V73 · W73
|
| mark · (u55 · P73 · X74) | ⇒ | axxu55 · (mark · P73) · X74
|
| mark · (u56 · Y74) | ⇒ | axxu56 · (mark · Y74)
|
| mark · (u61 · U74 · V74) | ⇒ | axxu61 · (mark · U74) · V74
|
| mark · (u62 · W74 · P74) | ⇒ | axxu62 · (mark · W74) · P74
|
| mark · (isPLNatKind · X75) | ⇒ | axxisPLNatKind · X75
|
| mark · (u63 · Y75) | ⇒ | axxu63 · (mark · Y75)
|
| mark · (isPLNat · U75) | ⇒ | axxisPLNat · U75
|
| mark · (u71 · V75 · W75) | ⇒ | axxu71 · (mark · V75) · W75
|
| mark · (u72 · P75 · X76) | ⇒ | axxu72 · (mark · P75) · X76
|
| mark · (u73 · Y76) | ⇒ | axxu73 · (mark · Y76)
|
| mark · (u81 · U76 · V76) | ⇒ | axxu81 · (mark · U76) · V76
|
| mark · (u82 · W76 · P76) | ⇒ | axxu82 · (mark · W76) · P76
|
| mark · (u83 · X77) | ⇒ | axxu83 · (mark · X77)
|
| mark · (u91 · Y77 · U77) | ⇒ | axxu91 · (mark · Y77) · U77
|
| mark · (u92 · V77 · W77) | ⇒ | axxu92 · (mark · V77) · W77
|
| mark · (u93 · P77) | ⇒ | axxu93 · (mark · P77)
|
| mark · (tail · X78) | ⇒ | axxtail · (mark · X78)
|
| mark · (take · Y78 · U78) | ⇒ | axxtake · (mark · Y78) · (mark · U78)
|
| mark · (sel · V78 · W78) | ⇒ | axxsel · (mark · V78) · (mark · W78)
|
| mark · tt | ⇒ | tt
|
| mark · (cons · P78 · X79) | ⇒ | cons · (mark · P78) · X79
|
| mark · (s · Y79) | ⇒ | s · (mark · Y79)
|
| mark · (pair · U79 · V79) | ⇒ | pair · (mark · U79) · (mark · V79)
|
| mark · nil | ⇒ | nil
|
| mark · 0 | ⇒ | 0
|
| axxu101 · W79 · P79 · X80 | ⇒ | u101 · W79 · P79 · X80
|
| axxu102 · Y80 · U80 · V80 | ⇒ | u102 · Y80 · U80 · V80
|
| axxisNaturalKind · W80 | ⇒ | isNaturalKind · W80
|
| axxu103 · P80 · X81 · Y81 | ⇒ | u103 · P80 · X81 · Y81
|
| axxisLNatKind · U81 | ⇒ | isLNatKind · U81
|
| axxu104 · V81 · W81 · P81 | ⇒ | u104 · V81 · W81 · P81
|
| axxu105 · X82 · Y82 | ⇒ | u105 · X82 · Y82
|
| axxisNatural · U82 | ⇒ | isNatural · U82
|
| axxu106 · V82 | ⇒ | u106 · V82
|
| axxisLNat · W82 | ⇒ | isLNat · W82
|
| axxu11 · P82 · X83 · Y83 | ⇒ | u11 · P82 · X83 · Y83
|
| axxu12 · U83 · V83 · W83 | ⇒ | u12 · U83 · V83 · W83
|
| axxu111 · P83 · X84 | ⇒ | u111 · P83 · X84
|
| axxu112 · Y84 | ⇒ | u112 · Y84
|
| axxu13 · U84 · V84 · W84 | ⇒ | u13 · U84 · V84 · W84
|
| axxu121 · P84 · X85 | ⇒ | u121 · P84 · X85
|
| axxu122 · Y85 | ⇒ | u122 · Y85
|
| axxu14 · U85 · V85 · W85 | ⇒ | u14 · U85 · V85 · W85
|
| axxu131 · P85 | ⇒ | u131 · P85
|
| axxsnd · X86 | ⇒ | snd · X86
|
| axxsplitAt · Y86 · U86 | ⇒ | splitAt · Y86 · U86
|
| axxu141 · V86 | ⇒ | u141 · V86
|
| axxu151 · W86 | ⇒ | u151 · W86
|
| axxu161 · P86 | ⇒ | u161 · P86
|
| axxu171 · X87 · Y87 | ⇒ | u171 · X87 · Y87
|
| axxu172 · U87 | ⇒ | u172 · U87
|
| axxu181 · V87 · W87 | ⇒ | u181 · V87 · W87
|
| axxu182 · P87 · X88 | ⇒ | u182 · P87 · X88
|
| axxu183 · Y88 | ⇒ | u183 · Y88
|
| axxu191 · U88 · V88 | ⇒ | u191 · U88 · V88
|
| axxu192 · W88 · P88 | ⇒ | u192 · W88 · P88
|
| axxu193 · X89 | ⇒ | u193 · X89
|
| axxu201 · Y89 · U89 · V89 | ⇒ | u201 · Y89 · U89 · V89
|
| axxu202 · W89 · P89 · X90 | ⇒ | u202 · W89 · P89 · X90
|
| axxu203 · Y90 · U90 · V90 | ⇒ | u203 · Y90 · U90 · V90
|
| axxu204 · W90 · P90 · X91 | ⇒ | u204 · W90 · P90 · X91
|
| axxu205 · Y91 · U91 | ⇒ | u205 · Y91 · U91
|
| axxu206 · V91 | ⇒ | u206 · V91
|
| axxu21 · W91 · P91 · X92 | ⇒ | u21 · W91 · P91 · X92
|
| axxu22 · Y92 · U92 · V92 | ⇒ | u22 · Y92 · U92 · V92
|
| axxu211 · W92 | ⇒ | u211 · W92
|
| axxu23 · P92 · X93 · Y93 | ⇒ | u23 · P92 · X93 · Y93
|
| axxu221 · U93 | ⇒ | u221 · U93
|
| axxu24 · V93 · W93 | ⇒ | u24 · V93 · W93
|
| axxu231 · P93 · X94 | ⇒ | u231 · P93 · X94
|
| axxu232 · Y94 | ⇒ | u232 · Y94
|
| axxu241 · U94 · V94 · W94 | ⇒ | u241 · U94 · V94 · W94
|
| axxu242 · P94 · X95 · Y95 | ⇒ | u242 · P94 · X95 · Y95
|
| axxu243 · U95 · V95 · W95 | ⇒ | u243 · U95 · V95 · W95
|
| axxu244 · P95 · X96 · Y96 | ⇒ | u244 · P95 · X96 · Y96
|
| axxu245 · U96 · V96 | ⇒ | u245 · U96 · V96
|
| axxu246 · W96 | ⇒ | u246 · W96
|
| axxu251 · P96 · X97 · Y97 | ⇒ | u251 · P96 · X97 · Y97
|
| axxu252 · U97 · V97 · W97 | ⇒ | u252 · U97 · V97 · W97
|
| axxu253 · P97 · X98 · Y98 | ⇒ | u253 · P97 · X98 · Y98
|
| axxu254 · U98 · V98 · W98 | ⇒ | u254 · U98 · V98 · W98
|
| axxu255 · P98 · X99 | ⇒ | u255 · P98 · X99
|
| axxu256 · Y99 | ⇒ | u256 · Y99
|
| axxu261 · U99 · V99 | ⇒ | u261 · U99 · V99
|
| axxu262 · W99 | ⇒ | u262 · W99
|
| axxu271 · P99 · X100 | ⇒ | u271 · P99 · X100
|
| axxu272 · Y100 | ⇒ | u272 · Y100
|
| axxu281 · U100 · V100 | ⇒ | u281 · U100 · V100
|
| axxu282 · W100 · P100 | ⇒ | u282 · W100 · P100
|
| axxnatsFrom · X101 | ⇒ | natsFrom · X101
|
| axxu291 · Y101 · U101 · V101 | ⇒ | u291 · Y101 · U101 · V101
|
| axxu292 · W101 · P101 · X102 | ⇒ | u292 · W101 · P101 · X102
|
| axxu293 · Y102 · U102 · V102 | ⇒ | u293 · Y102 · U102 · V102
|
| axxu294 · W102 · P102 · X103 | ⇒ | u294 · W102 · P102 · X103
|
| axxhead · Y103 | ⇒ | head · Y103
|
| axxafterNth · U103 · V103 | ⇒ | afterNth · U103 · V103
|
| axxu301 · W103 · P103 · X104 | ⇒ | u301 · W103 · P103 · X104
|
| axxu302 · Y104 · U104 | ⇒ | u302 · Y104 · U104
|
| axxu303 · V104 · W104 | ⇒ | u303 · V104 · W104
|
| axxu304 · P104 · X105 | ⇒ | u304 · P104 · X105
|
| axxu31 · Y105 · U105 · V105 | ⇒ | u31 · Y105 · U105 · V105
|
| axxu32 · W105 · P105 · X106 | ⇒ | u32 · W105 · P105 · X106
|
| axxu311 · Y106 · U106 | ⇒ | u311 · Y106 · U106
|
| axxu312 · V106 · W106 | ⇒ | u312 · V106 · W106
|
| axxu33 · P106 · X107 · Y107 | ⇒ | u33 · P106 · X107 · Y107
|
| axxu321 · U107 · V107 · W107 · P107 | ⇒ | u321 · U107 · V107 · W107 · P107
|
| axxu322 · X108 · Y108 · U108 · V108 | ⇒ | u322 · X108 · Y108 · U108 · V108
|
| axxu323 · W108 · P108 · X109 · Y109 | ⇒ | u323 · W108 · P108 · X109 · Y109
|
| axxu324 · U109 · V109 · W109 · P109 | ⇒ | u324 · U109 · V109 · W109 · P109
|
| axxu325 · X110 · Y110 · U110 · V110 | ⇒ | u325 · X110 · Y110 · U110 · V110
|
| axxu326 · W110 · P110 · X111 · Y111 | ⇒ | u326 · W110 · P110 · X111 · Y111
|
| axxu327 · U111 · V111 | ⇒ | u327 · U111 · V111
|
| axxu34 · W111 · P111 | ⇒ | u34 · W111 · P111
|
| axxu331 · X112 · Y112 · U112 | ⇒ | u331 · X112 · Y112 · U112
|
| axxu332 · V112 · W112 | ⇒ | u332 · V112 · W112
|
| axxu333 · P112 · X113 | ⇒ | u333 · P112 · X113
|
| axxu334 · Y113 · U113 | ⇒ | u334 · Y113 · U113
|
| axxu341 · V113 · W113 · P113 | ⇒ | u341 · V113 · W113 · P113
|
| axxu342 · X114 · Y114 · U114 | ⇒ | u342 · X114 · Y114 · U114
|
| axxu343 · V114 · W114 · P114 | ⇒ | u343 · V114 · W114 · P114
|
| axxu344 · X115 · Y115 · U115 | ⇒ | u344 · X115 · Y115 · U115
|
| axxfst · V115 | ⇒ | fst · V115
|
| axxu41 · W115 · P115 · X116 | ⇒ | u41 · W115 · P115 · X116
|
| axxu42 · Y116 · U116 · V116 | ⇒ | u42 · Y116 · U116 · V116
|
| axxu43 · W116 · P116 · X117 | ⇒ | u43 · W116 · P116 · X117
|
| axxu44 · Y117 · U117 · V117 | ⇒ | u44 · Y117 · U117 · V117
|
| axxu45 · W117 · P117 | ⇒ | u45 · W117 · P117
|
| axxu46 · X118 | ⇒ | u46 · X118
|
| axxu51 · Y118 · U118 · V118 | ⇒ | u51 · Y118 · U118 · V118
|
| axxu52 · W118 · P118 · X119 | ⇒ | u52 · W118 · P118 · X119
|
| axxu53 · Y119 · U119 · V119 | ⇒ | u53 · Y119 · U119 · V119
|
| axxu54 · W119 · P119 · X120 | ⇒ | u54 · W119 · P119 · X120
|
| axxu55 · Y120 · U120 | ⇒ | u55 · Y120 · U120
|
| axxu56 · V120 | ⇒ | u56 · V120
|
| axxu61 · W120 · P120 | ⇒ | u61 · W120 · P120
|
| axxu62 · X121 · Y121 | ⇒ | u62 · X121 · Y121
|
| axxisPLNatKind · U121 | ⇒ | isPLNatKind · U121
|
| axxu63 · V121 | ⇒ | u63 · V121
|
| axxisPLNat · W121 | ⇒ | isPLNat · W121
|
| axxu71 · P121 · X122 | ⇒ | u71 · P121 · X122
|
| axxu72 · Y122 · U122 | ⇒ | u72 · Y122 · U122
|
| axxu73 · V122 | ⇒ | u73 · V122
|
| axxu81 · W122 · P122 | ⇒ | u81 · W122 · P122
|
| axxu82 · X123 · Y123 | ⇒ | u82 · X123 · Y123
|
| axxu83 · U123 | ⇒ | u83 · U123
|
| axxu91 · V123 · W123 | ⇒ | u91 · V123 · W123
|
| axxu92 · P123 · X124 | ⇒ | u92 · P123 · X124
|
| axxu93 · Y124 | ⇒ | u93 · Y124
|
| axxtail · U124 | ⇒ | tail · U124
|
| axxtake · V124 · W124 | ⇒ | take · V124 · W124
|
| axxsel · P124 · X125 | ⇒ | sel · P124 · X125
|
| map · (λ%X:A.Z125 · %X) · nil | ⇒ | nil
|
| app · (λ%Y:A.G125 · %Y) · V125 | ⇒ | G125 · V125
|