Skip to content

Instantly share code, notes, and snippets.

@hhefesto

hhefesto/outuput.hs

Created June 30, 2020 19:21
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hhefesto/798667d6cb9afef4bc09c776555f4856 to your computer and use it in GitHub Desktop.
Save hhefesto/798667d6cb9afef4bc09c776555f4856 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
outuput.hs
Main> pureREval (check zero (completeLam (varN 0)))
SetEnv !!!!!!!!!!!!!!!!:(Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero),Right (Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero)))
SetEnv !!!!!!!!!!!!!!!!:(Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env)),Right (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair Zero Zero)))
SetEnv !!!!!!!!!!!!!!!!:(SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))),Right (Pair Zero (Pair Zero Zero)))
SetEnv !!!!!!!!!!!!!!!!:(Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))),Left Can't SetEnv: Pair Zero (Pair Zero Zero))
SetEnv !!!!!!!!!!!!!!!!:(Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env),Left Can't SetEnv: Pair Zero (Pair Zero Zero))
Left Can't SetEnv: Pair Zero (Pair Zero Zero)
*Main>
*Main> stepIEval (check zero (completeLam (varN 0)))
(SetEnv (Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero)),Zero)
(Pair (Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)))) (Pair (Pair (Defer (PLeft Env)) Zero) Zero),Zero)
(Defer (SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env))),Zero)
(Pair (Pair (Defer (PLeft Env)) Zero) Zero,Zero)
(Pair (Defer (PLeft Env)) Zero,Zero)
(Defer (PLeft Env),Zero)
(Zero,Zero)
(Zero,Zero)
---------------- SetEnv HERE!!!!!!!!!!!!
(SetEnv (Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env)),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Pair (SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))))) (PRight Env),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(SetEnv (Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env)))))),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Pair Abort (SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))))),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Abort,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(SetEnv (SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env)))),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(SetEnv (Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env))),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Pair (Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))))) (Pair (PRight Env) (PLeft Env)),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Defer (Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env)))),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Pair (PRight Env) (PLeft Env),Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(PRight Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(PLeft Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
---------------- SetEnv HERE!!!!!!!!!!!!
(Pair (PLeft (PRight Env)) (Pair (PLeft Env) (PRight (PRight Env))),Pair Zero (Pair (Defer (PLeft Env)) Zero))
(PLeft (PRight Env),Pair Zero (Pair (Defer (PLeft Env)) Zero))
(PRight Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
(Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
(Pair (PLeft Env) (PRight (PRight Env)),Pair Zero (Pair (Defer (PLeft Env)) Zero))
(PLeft Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
(Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
(PRight (PRight Env),Pair Zero (Pair (Defer (PLeft Env)) Zero))
(PRight Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
(Env,Pair Zero (Pair (Defer (PLeft Env)) Zero))
---------------- SetEnv HERE!!!!!!!!!!!!
(PLeft Env,Pair Zero Zero)
(Env,Pair Zero Zero)
---------------- SetEnv HERE!!!!!!!!!!!!
(PRight Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
(Env,Pair (Pair (Defer (PLeft Env)) Zero) Zero)
---------------- SetEnv HERE!!!!!!!!!!!!
(Env,Zero)
Zero
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment