[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Savannah-hackers] savannah.gnu.org: submission of The Combinator En
From: |
Mathieu Roy |
Subject: |
Re: [Savannah-hackers] savannah.gnu.org: submission of The Combinator Engine |
Date: |
Mon, 10 Jun 2002 22:47:25 +0200 |
Hi,
In order to release your project under the GPL you should write
copyright
notice and license notice at the beginning of every source
code file, please follow the advice of
http://www.gnu.org/licenses/gpl-howto.html
Could you resubmit once this is done (you can do this copying the big
re-registration link provided in the mail you get when you have
registered) ?
Regards,
Le lun 10 jun 2002 à 11h40, address@hidden a écrit :
A package was submitted to savannah.gnu.org.
This mail was sent to address@hidden, address@hidden
Rafael R. Sevilla <address@hidden> described the package as follows:
License: gpl
Other License:
Package: The Combinator Engine
System name: combengine
This package does NOT want to apply for inclusion in the GNU project
Description:
The Combinator Engine project is a set of implementations of
functional languages based on the combinator logic. Currently there
are two languages under development, Lazy-L and Eagle, the former
using lazy evaluation and the other using strict evaluation. These
languages are primarily intended as teaching tools and are made as
simple as possible and will have profuse documentation on the
techniques and principles being used.
It is my intention to migrate this project from its current home at
SourceForge: http://combengine.sourceforge.net/
Other Software Required:
The combinator engine programs are predominantly written in Objective
Caml (http://caml.inria.fr), but some components are also written in
C.
Other Comments:
_______________________________________________
Savannah-hackers mailing list
address@hidden
http://mail.gnu.org/mailman/listinfo/savannah-hackers
--
Mathieu Roy
* http://savannah.gnu.org/users/yeupou
* http://yeupou.coleumes.org
* http://gpg.coleumes.org (GPG Key)