Agda on Raspberry Pi

Detta är en Master-uppsats från Göteborgs universitet/Institutionen för data- och informationsteknik

Författare: Lawerence Chonavel; [2023-10-25]

Nyckelord: Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

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)