Universal Lambda Machine: Difference between revisions
Content deleted Content added
Line 148: | Line 148: | ||
#include <assert.h> |
#include <assert.h> |
||
enum {I,O,V,A,L}; // Input Output Variable Application Lambda |
enum {I,O,V,A,L}; // Input Output Variable Application Lambda |
||
// in term space T, application (f a) is A followed by length of f, |
|||
// followed by f and a. Variable (de-Bruijn) i is V followed by i. |
|||
long n=44,i,c,T[M]={L,A,8,A,2, V,0,L,L,V, |
long n=44,i,c,T[M]={L,A,8,A,2, V,0,L,L,V, |
||
A,30,L,A,2,V,0,L,A,5,A,7,L,V,0,O, |
A,30,L,A,2,V,0,L,A,5,A,7,L,V,0,O, |