shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Remove junk

--- a/comb/simple.comb

+++ /dev/null

@@ -1,3 +1,0 @@

-v5.1

-757

-((A :0 ((B (B (B (B C)))) ((B (B (B C))) ((B (B C)) P)))) ((A :1 (U (Z (Z (Z K))))) ((A :2 (U (K (Z (Z K))))) ((A :3 (U (K (K (Z K))))) ((A :4 (U (K (K (K K))))) ((A :5 (U (K (K (K A))))) ((A :6 (K (noDefault "Applicative.pure"))) ((A :7 (K (noDefault "Applicative.<*>"))) ((A :8 (((S' B) _3) (((C' _246) _1) _237))) ((A :9 (((S' B) _3) (((C' _249) _1) _238))) ((A :10 _642) ((A :11 (_10 "undefined")) ((A :12 ((B (B (B C))) ((B (B C)) P))) ((A :13 (U (Z (Z K)))) ((A :14 (U (K (Z K)))) ((A :15 (U (K (K K)))) ((A :16 (U (K (K A)))) ((A :17 (K (noDefault "Monad.>>="))) ((A :18 (((C' (C' B)) _14) K)) ((A :19 ((B _2) _13)) ((A :20 (((S' (C' B)) _14) (((S' (C' B)) _14) (B' _16)))) ((A :21 P) ((A :22 (U K)) ((A :23 (U A)) ((A :24 (K _10)) ((A :25 ((B (B Y)) (((S' B) (B' ((B P) ((C _16) _415)))) (((S' (C' B)) ((B (B (C' B))) (B' _14))) (((S' (C' (C' B))) (B' _14)) (((C' B) (B' _16)) _416)))))) ((A :26 ((B (B Y)) (((S' B) (B' ((B P) ((C _16) _586)))) (((C' (C' B)) ((B (B (C' B))) (B' _14))) Z)))) ((A :27 ((B U) ((C _16) _586))) ((A :28 ((C _25) _237)) ((A :29 ((B _239) _14)) ((A :30 ((B C) ((B C') _14))) ((A :31 ((B _239) _30)) ((A :32 ((B Y) (((S' B) (B' ((B P) ((C _16) _415)))) (((S' B) ((B (S' (S' B))) (B' _14))) (((S' (C' (C' B))) ((B (B (B (C' B)))) (B' (B' _14)))) (((C' B) (B' (B' ((B _234) _16)))) ((B (C S)) _416))))))) ((A :33 ((B Y) (((S' B) (B' ((B P) ((C _16) ((P _415) _415))))) (((S' B) ((B (S' (S' B))) (B' _14))) (((S' (C' (C' B))) ((B (B (B (C' B)))) (B' (B' _14)))) ((B (B (B U))) (((C' B) (B' (B' (B' ((B _234) _16))))) (((S' C) ((B ((C' S') S')) ((B ((C' B) P)) _416))) ((B (B P)) _416))))))))) ((A :34 ((_244 _236) (_248 _34))) ((A :35 (((((_0 _34) _238) S) (_8 _35)) (_9 _35))) ((A :36 ((((_12 _35) (((C' C) (C S')) I)) (_18 _36)) (_19 _36))) ((A :37 ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B (B C))))))))))))) ((B (B (B (B (B (B (B (B (B (B (B (B C)))))))))))) ((B (B (B (B (B (B (B (B (B (B (B C))))))))))) ((B (B (B (B (B (B (B (B (B (B C)))))))))) ((B (B (B (B (B (B (B (B (B C))))))))) ((B (B (B (B (B (B (B (B C)))))))) ((B (B (B (B (B (B (B C))))))) ((B (B (B (B (B (B C)))))) ((B (B (B (B (B C))))) ((B (B (B (B C)))) ((B (B (B C))) ((B (B C)) P))))))))))))))))))))) ((A :38 (U (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :39 (U (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :40 (U (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :41 (U (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :42 (U (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :43 (U (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :44 (U (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :45 (U (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :46 (U (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :47 (U (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :48 (U (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :49 (U (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :50 (U (K (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z (Z K)))))))))))))))))))))) ((A :51 (U (K (K (K (K (K (K (K (K (K (K (K (K (K (Z (Z (Z (Z (Z (Z (Z K)))

\ No newline at end of file

-- 

⑨