lets + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> u2)) | | ` ref | ` <|> | + <*> | | + pure (\u1 -> Term) | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4)))) | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5))))))) | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term)))))) | | | | | | ` satisfy | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> '(')) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> ')')) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> ',')) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> ';')) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> Term)) | | ` ref | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> u2)) | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> u2)) | | ` try | | ` <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4)))) | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> u2)) | | | ` <|> | | | + <*> | | | | + pure (\u1 -> '0') | | | | ` satisfy | | | ` <*> | | | + pure (\u1 -> '1') | | | ` satisfy | | ` ref | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2)))) | | | | | ` satisfy | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> u2)) | | | | | | ` satisfy | | | | | ` ref | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u3))) | | | | | | ` satisfy | | | | | ` satisfy | | | | ` ref | | | ` satisfy | | ` ref | ` <*> | + <*> | | + pure (\u1 -> (\u2 -> u2)) | | ` ref | ` <|> | + <*> | | + pure (\u1 -> Term) | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2))) | | | | | ` ref | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term)))) | | | | | | | | ` rec | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5)))))) | | | | | ` ref | | | | ` ref | | | ` rec | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10)))))))))) | | | | | | | | | | ` try | | | | | | | | | | ` <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : Term))))))))))))))) | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | ` satisfy | | | | | | | | | | | ` satisfy | | | | | | | | | | ` satisfy | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` ref | | | | | ` <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> Term))) | | | | | | | | ` satisfy | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5)))))) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5)))))) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5)))))) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5))))) | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3))) | | | ` <|> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> u2)) | | | | | ` try | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\u1 -> (\u2 -> 'i' : ('f' : Term))) | | | | | | ` satisfy | | | | | ` satisfy | | | | ` ref | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4)))) | | | | | | | ` try | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'w' : ('h' : ('i' : ('l' : ('e' : Term))))))))) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` satisfy | | | | | | | | | ` satisfy | | | | | | | | ` satisfy | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` ref | | | | ` rec | | | ` <|> | | | + try | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + <*> | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11)))))))))))) | | | | | | | | | | | | | | | ` <|> | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> Term)) | | | | | | | | | | | | | | | | | ` try | | | | | | | | | | | | | | | | | ` <*> | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | + <*> | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> 'v' : ('a' : ('r' : Term))))) | | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | | ` satisfy | | | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | ` ref | | | | | | | | | | | | ` ref | | | | | | | | | | | ` ref | | | | | | | | | | ` satisfy | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> u1)) | | | | ` ref | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3))) | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3))) | | | ` ref | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3))) | | | ` satisfy | | ` rec | ` pure (\u1 -> u1) + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term)))) | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` pure (\u1 -> (\u2 -> u2)) + let | ` pure Term + let | ` pure Term + let | ` satisfy ` <*> + <*> | + <*> | | + <*> | | | + <*> | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> Term u4))))) | | | | ` ref | | | ` ref | | ` ref | ` ref ` eof