| dbo:description
|
- Programmiersprache (de)
- langage de programmation (fr)
- linguagem de programação (pt)
- linguaggio di programmazione (it)
- programmeertaal (nl)
- programmeringssprog (da)
- Programméiersprooch (lb)
- język programowania (pl)
- lenguaje de programación (es)
- limbaj de programare (ro)
- llenguatge de programació (ca)
- ohjelmointikieli (fi)
- programmeringsspråk (nn)
- programovací jazyk (cs)
- programovací jazyk (sk)
- programozási nyelv (hu)
- programspråk (sv)
- yezh programmiñ (br)
- язык программирования (ru)
- שפת תכנות (iw)
- प्रोग्रामिंग भाषा (hi)
- ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa)
- പ്രോഗ്രാമിങ് ഭാഷ (ml)
- 対話的システム、関数型プログラミング言語 (ja)
- dependently typed, purely functional programming language and proof assistant (en)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:designer
|
- Ulf Norell; Catarina Coquand (en)
|
| dbp:developer
| |
| dbp:fileExt
| |
| dbp:influenced
| |
| dbp:influencedBy
| |
| dbp:latestReleaseDate
| |
| dbp:latestReleaseVersion
| |
| dbp:license
| |
| dbp:logo
|
- Agda's official logo.svg (en)
|
| dbp:logoAlt
|
- A stylized chicken in black lines and dots, to the left of the name "Agda" in sans-serif test with the first letter slanted to the right. (en)
|
| dbp:logoSize
| |
| dbp:name
| |
| dbp:operatingSystem
| |
| dbp:paradigm
| |
| dbp:programmingLanguage
| |
| dbp:released
|
- 1 (xsd:integer)
- 2 (xsd:integer)
|
| dbp:typing
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:label
|
- Agda (programming language) (en)
- Agda (el)
- Agda (ja)
- Agda (ko)
- Agda (nl)
- Agda (uk)
- Agda (ru)
- Agda (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:influenced
of | |
| is dbo:influencedBy
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influenced
of | |
| is dbp:influencedBy
of | |
| is foaf:primaryTopic
of | |
