Dear Ilya,
I've been wanting to experiment with a Linear Lisp in Maru for a long time.
Do you have a mailing-list to discuss and/or public repository to work with?
Regarding practical programming with Linear Types, see Jesse Tov's thesis at
http://www.eecs.harvard.edu/~tov/pubs/dissertation/
I checked out COLA from http://piumarta.com/svn2/idst/trunk and tried compiling
but I encountered an error.
cp -p CodeGenerator-x86_64.st CodeGenerator-local.st
cp: cannot stat `CodeGenerator-x86_64.st': No such file or directory
There are CodeGenerator-*.st files for arm, i386, and ppc.
Symlink might help
On Oct 10, 2013 8:15 PM, Simon Forman sfor...@hushmail.com wrote:
I checked out COLA from http://piumarta.com/svn2/idst/trunk and tried
compiling but I encountered an error.
cp -p CodeGenerator-x86_64.st CodeGenerator-local.st
cp: cannot stat `CodeGenerator-x86_64.st': No
Or just copy the i386 file to name it's expecting.
On Oct 10, 2013 8:18 PM, John Carlson yottz...@gmail.com wrote:
Symlink might help
On Oct 10, 2013 8:15 PM, Simon Forman sfor...@hushmail.com wrote:
I checked out COLA from http://piumarta.com/svn2/idst/trunk and tried
compiling but I