Skip to content

Instantly share code, notes, and snippets.

@evacchi
Last active October 11, 2018 14:13
Show Gist options
  • Select an option

  • Save evacchi/22c5ae7d671725545b9e18d1b4dc3873 to your computer and use it in GitHub Desktop.

Select an option

Save evacchi/22c5ae7d671725545b9e18d1b4dc3873 to your computer and use it in GitHub Desktop.
{
Y:
function(F) {
ll: function(x) F(function(y) {l:x(x), r: l(y)}.r ),
rr: ll( function(x) F(function(y) {l:x(x), r: l(y)}.r) )
}.rr,
FactGen:
function(fact) function(n) if n=0 then 1 else n*fact(n-1),
Fact: Y(FactGen),
R: Fact(10)
}.R
@tarilabs

Copy link
Copy Markdown

l:x(x) line 4, there is no function named x in scope?

@evacchi

evacchi commented Oct 11, 2018

Copy link
Copy Markdown
Author

function(x)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment