Agda on Raspberry Pi
Detta är en Master-uppsats från Göteborgs universitet/Institutionen för data- och informationsteknik
Sammanfattning: This thesis presents an Agda-to-C compiler targeting the Raspberry Pi Pico microcontroller. The compiler implementation includes an unusual choice of run-time algorithm, a Foreign Function Interface generator, and surprisingly little boilerplate code.
HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)