{"version":"1.0","type":"link","title":"Agda - Newikis","description":"Agda ist eine funktionale Programmiersprache, die sich durch ihr Typsystem auch als Beweisassistent eignet. Das Wort „funktional“ bezieht sich hier auf die Verwendung von Funktionen als Objekte, die nicht nur definiert und aufgerufen werden, sondern auch als Variablen übergeben und als Wert…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}