Skip to content

Instantly share code, notes, and snippets.

@l3gacyb3ta

l3gacyb3ta/lambda.modal

Created April 10, 2024 16:08
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 l3gacyb3ta/66dd3656822d0c7daa4afd92f6a00102 to your computer and use it in GitHub Desktop.
Save l3gacyb3ta/66dd3656822d0c7daa4afd92f6a00102 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lambda.modal
<> (explode x) (Function (x))
<> (explode y) (Function (y))
<> (explode ?*) (Function (?*))
<> (implode String ?*) (?*)
<> (apply ?a to ?b) (eval (explode ?b) : ?a result ())
<> ((\x.?b)?c) (apply ?c to ?b)
<> (eval (Function (x ?t)) : ?a result ?c) (eval (Function ?t) : ?a result (?a ?c))
<> (eval (Function (x)) : ?a result ?c) (eval (Function DONE) : ?a result (?a ?c))
<> (eval (Function (?b ?t)) : ?a result ?c) (eval (Function ?t) : ?a result (?b ?c))
<> (eval (Function (?b)) : ?a result ?c) (eval (Function DONE) : ?a result (?b ?c))
<> (eval (Function DONE) : ?a result ?r) (implode String ?r)
.. (\x.xyx)z
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment