{"version":"1.0","type":"link","title":"MetaLanguage - Newikis","description":"ML er et funksjonelt programmeringsspråk som ble utviklet av Robin Milner og andre tidlig på 1970-tallet ved University of Edinburgh. Syntaksen til språket var inspirert av ISWIM, og det har sine røtter i LISP. ML er en forkortelse for MetaLanguage: det ble utviklet for å bevise teoremer ved hjelp…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}