Lambda Calculus
Check-in [331945630b]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:minor changes
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:331945630bfb44ae4768772daf9c74ab40fad5f9
User & Date: bill 2012-03-20 23:18:16
Context
2012-03-20
23:22
checkpoint check-in: 109e821d19 user: bill tags: trunk
23:18
minor changes check-in: 331945630b user: bill tags: trunk
23:14
parser looks promising, updated TODO and some docs check-in: 183f4ee657 user: bill tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to hl.js.

745
746
747
748
749
750
751
752
753
754
755
756

    console.log("T7 3: " + eval(dgen(t7)[0])(laz(function(x){log("x: " + x()); return String(x())+"1"}))(laz(function(y){log("y: " + y()); return y()+"2"}))(laz("FLOOP ")))

    console.log("T77: " + LC.L._t77)

    console.log("LIT: " + dgen(wlit('x'), true)[0])

    console.log("\\x.x: " + astPrint(parse("\\x.x x")))

// TODO: compile AST funcs directly and include the JS source here
// for self hosting
})()







|




745
746
747
748
749
750
751
752
753
754
755
756

    console.log("T7 3: " + eval(dgen(t7)[0])(laz(function(x){log("x: " + x()); return String(x())+"1"}))(laz(function(y){log("y: " + y()); return y()+"2"}))(laz("FLOOP ")))

    console.log("T77: " + LC.L._t77)

    console.log("LIT: " + dgen(wlit('x'), true)[0])

    console.log("\\x.x x x: " + astPrint(parse("\\x.x x y")))

// TODO: compile AST funcs directly and include the JS source here
// for self hosting
})()