[Agda] [Fwd: SourceForge.net Project Registration: agda]

[Patrik Jansson]

I have registered Agda as a SourceForge-project - it will be accepted or 
rejected within two working days.

/Patrik


-------- Ursprungligt meddelande --------
Ämne: SourceForge.net Project Registration: agda
Datum: Wed, 03 Nov 2004 07:41:35 -0800
Från: SourceForge.net <noreply at sourceforge.net>
Till: patrikj at cs.chalmers.se

This is an automated message, containing the details you submitted
in your project registration.  Please keep this message in a safe
place, for future reference.  This message will have been sent
whether or not your project registration was properly received by
the SourceForge.net site (this is a feature to ensure you have a
copy of your registration details).

If you are submitting a new project registration, you should have
been provided a page stating that the registration was properly
received, including an ETA as to when the registration would be
reviewed by SourceForge.net staff.

If you are taking over an existing project, you should have been
redirected to a Tracker browse view following the automated
submission of your request to take over that project.

If you received any error or warning messages, instead of one
of the two aforementioned outcomes, chances are high that your
registration was not properly received; please contact the
SourceForge.net team if this is the case.  Support requests may
be submitted at:
https://sourceforge.net/tracker/?func=add&group_id=1&atid=200001


Project Information
-------------------

1. Submitter: p1738j

2. Project UNIX Name: agda

3. Project Descriptive Name: Agda

4. License: MIT License

License other:

5. Project Description: Agda is a system for incrementally developing 
proofs and programs.

6. Registration Description: Agda is implemented in Haskell, with some 
emacs lisp for the
     user interface.

   We are mainly using Sun Solaris and Linux but Agda also runs under
     Windows. Agda should be portable to every platform where ghc (the
     Haskell compiler) and emacs run.

   Agda is a logical framework and a proof checker and is aspiring to
     be a language for dependently typed programming.

   We currently focus on documentation, bug fixes and connections to
     external tools and languages.

   Agda should support interactive proof and formal verification of
     properties in logics specified by the user.

   Links:
     http://cvs.coverproject.org/marcin/cgi/viewcvs/Agda/
     http://www.cs.chalmers.se/~catarina/agda/

[end]


Status
------

Your request should be reviewed by SourceForge.net staff in the next
two business days (9AM to 5PM, Monday through Friday).  Response
regarding your project (notice of rejection/approval) will be posted
to your >My SourceForge.net Projects page (accessible via the My SF.net
link at the top of each site page).  No email notification will be
provided about approval/rejection of your project.
https://sourceforge.net/my/myprojects.php

Should you have questions or concerns regarding the status of your
project registration, please submit a Support Request at:
https://sourceforge.net/tracker/?func=add&group_id=1&atid=200001

Thank you,

SourceForge.net staff