Hello Interaction Nets!
Jun. 26th, 2014 10:36 am$ cat >hello.in ${ #include <stdio.h> }$ \alpha { printf("%s %s!\n", LVAL, RVAL); } \beta; $$ \alpha_{"Hello"} = \beta_{"World"}; $$ #include <stdlib.h> inagent *inaux(void *aux, void *offline) { return NULL; } int main() { interact(); return 0; } $ inc <hello.in $ c99 in.tab.c $ ./a.out Hello World! $