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

[Patrik Jansson]

The agda.sf.net project is active - currently with me as only developer. 
To start using the bug tracking (and other) features, I suggest at least 
Catarina, Makoto and Marcin should register at sourceforge (if you have 
not already done so) so that I can add you as developers on the project.

To _report_ bugs you don't need to be registered - feel free to start 
using that part immediately.

/Patrik


Patrik Jansson skrev:
> 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
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> http://lists.chalmers.se/mailman/listinfo/agda