Agda on Raspberry Pi

University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

Author: Lawerence Chonavel; [2023-10-25]

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

Abstract: 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.

  AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)