Agda ^{الإنجليزية} (Q5366986)

dependently typed, purely functional programming language and proof assistant ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Agda	dependently typed, purely functional programming language and proof assistant

بيانات

Wikidata item ^{الإنجليزية}

Q20479

٠ مرجع

Freebase ID ^{الإنجليزية}

/m/0c1r9r

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

instance of ^{الإنجليزية}

لغة برمجة وظيفية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

لغة برمجة وظيفية بحتة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

dependently typed programming language ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

لغة برمجة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

برمجيات حرة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

proof assistant ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

programmed in ^{الإنجليزية}

هاسكل

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

software version identifier ^{الإنجليزية}

2.5.1.1

publication date ^{الإنجليزية}

٢١ يونيو 2016^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.3

publication date ^{الإنجليزية}

٨ سبتمبر 2017^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.0.1

publication date ^{الإنجليزية}

١٦ يونيو 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.0.2

publication date ^{الإنجليزية}

٢٩ يوليو 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2

publication date ^{الإنجليزية}

٢٩ أغسطس 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2.1

publication date ^{الإنجليزية}

١٣ نوفمبر 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2.2

publication date ^{الإنجليزية}

٢٦ نوفمبر 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2.3

publication date ^{الإنجليزية}

٢٥ مايو 2015^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2.4

publication date ^{الإنجليزية}

٢٦ سبتمبر 2015^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.2.5

publication date ^{الإنجليزية}

١٨ ديسمبر 2015^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.1

publication date ^{الإنجليزية}

١٦ أبريل 2016^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.1.2

publication date ^{الإنجليزية}

٢٥ نوفمبر 2016^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.2

publication date ^{الإنجليزية}

٢٢ ديسمبر 2016^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.4

publication date ^{الإنجليزية}

٢ يونيو 2018^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.4.1

publication date ^{الإنجليزية}

١٩ يوليو 2018^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.0.0

publication date ^{الإنجليزية}

٤ يونيو 2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.0.1

publication date ^{الإنجليزية}

٦ يوليو 2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.1.0

publication date ^{الإنجليزية}

١٣ يوليو 2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.1.2

publication date ^{الإنجليزية}

١٦ أغسطس 2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.0

publication date ^{الإنجليزية}

١٧ مارس 2009^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.2

publication date ^{الإنجليزية}

١٦ أبريل 2009^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.4

publication date ^{الإنجليزية}

٧ يوليو 2009^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.6

publication date ^{الإنجليزية}

٢٣ ديسمبر 2009^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.8

publication date ^{الإنجليزية}

٢٧ سبتمبر 2010^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.2.10

publication date ^{الإنجليزية}

٢٠ فبراير 2011^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.3.0

publication date ^{الإنجليزية}

٢٣ نوفمبر 2011^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.3.2

publication date ^{الإنجليزية}

١٢ نوفمبر 2012^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.3.2.1

publication date ^{الإنجليزية}

٤ يونيو 2013^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.3.2.2

publication date ^{الإنجليزية}

٢٧ سبتمبر 2013^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.4.0

publication date ^{الإنجليزية}

٥ يونيو 2014^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.5.4.2

publication date ^{الإنجليزية}

٢٩ أكتوبر 2018^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.0

publication date ^{الإنجليزية}

١٢ أبريل 2019^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.0.1

publication date ^{الإنجليزية}

١٤ مايو 2019^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.1

publication date ^{الإنجليزية}

١٦ مارس 2020^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.1.1

publication date ^{الإنجليزية}

٧ سبتمبر 2020^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.1.2

publication date ^{الإنجليزية}

١٦ يناير 2021^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.1.3

publication date ^{الإنجليزية}

٧ فبراير 2021^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.2

publication date ^{الإنجليزية}

١٩ يونيو 2021^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.2.1

publication date ^{الإنجليزية}

٨ ديسمبر 2021^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.2.2

publication date ^{الإنجليزية}

٢ أبريل 2022^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.3

publication date ^{الإنجليزية}

٣٠ يناير 2023^{http://data.marefa.org/entity/Q1985727}

version type ^{الإنجليزية}

إصدار مستقر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.4

publication date ^{الإنجليزية}

٦ أكتوبر 2023^{http://data.marefa.org/entity/Q1985727}

version type ^{الإنجليزية}

إصدار مستقر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

2.6.4.1

publication date ^{الإنجليزية}

٣٠ نوفمبر 2023^{http://data.marefa.org/entity/Q1985727}

version type ^{الإنجليزية}

إصدار مستقر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

official website ^{الإنجليزية}

https://wiki.portal.chalmers.se/agda/pmwiki.php

language of work or name ^{الإنجليزية}

اللغة الإنگليزية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

source code repository URL ^{الإنجليزية}

https://github.com/agda/agda

version control system ^{الإنجليزية}

جت

web interface software ^{الإنجليزية}

غيت هاب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

copyright license ^{الإنجليزية}

رخص بي إس دي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

influenced by ^{الإنجليزية}

Coq ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

Epigram ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

هاسكل

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

inception ^{الإنجليزية}

2007^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

operating system ^{الإنجليزية}

مايكروسوفت ويندوز

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

شبيه يونكس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

image ^{الإنجليزية}

Agda proof.jpg
٢٬٦٥٣ × ١٬٧٦٤؛ ٥٥٥ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

Microsoft Academic ID ^{الإنجليزية}

2779873051

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

copyright status ^{الإنجليزية}

حقوق التأليف والنشر محفوظة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

Stack Exchange tag ^{الإنجليزية}

https://proofassistants.stackexchange.com/tags/agda

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q20479

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٢ وصلتان)

enwiki Agda (programming language)
fawiki آگدا (زبان برنامه‌نویسی)