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
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely.

Stay productive working at any distance from anywhere with Monitask.
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