idris-1.3.3: test/ffi011/ffi011.js
l = require("./lib.js");
x = l.cons(10, l.cons(20, l.nil()));
y = l.cons(30, l.cons(40, l.nil()));
z = l.addLists(x, y);
console.log(l.showList(z));
l = require("./lib.js");
x = l.cons(10, l.cons(20, l.nil()));
y = l.cons(30, l.cons(40, l.nil()));
z = l.addLists(x, y);
console.log(l.showList(z));