Agda 1 1.0.2

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

Agda संवर्द्धित रूप से विकसित करने के सबूत और कार्यक्रमों के लिए एक प्रणाली है। यह पिछले Agda (Agda 1) के लिए स्रोत परियोजना है । बीटा परीक्षण में Agda (Agda 2) का एक नया संस्करण से उपलब्ध है: http://wiki.portal.chalmers.se/agda/

संस्करण इतिहास

  • विवरण 1.0.2 पर तैनात 2008-04-23
    कई सुधार और अपडेट
  • विवरण 1.0.2 पर तैनात 2008-04-23

कार्यक्रम विवरण