Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

Project Activity

See All Activity >

Categories

Software Development, Mathematics, Topic

License

MIT License

Follow Agda 1

Agda 1 Web Site

You Might Also Like
Everything you need to set up your flexible workplace Icon
Everything you need to set up your flexible workplace

Make the most of office space

Nibol has everything you need from a workplace management platform. On top of that, with its "Spaces on demand" feature it enables users to book desks and meeting rooms not only at their office but also in hundreds of co-working spaces and other venues.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Agda 1!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education, Developers

User Interface

X Window System (X11), Console/Terminal

Programming Language

Haskell

Related Categories

Haskell Software Development Software, Haskell Mathematics Software, Haskell Topic Software

Registered

2004-11-03
Report inappropriate content