Search
Now showing items 1-1 of 1
Agda on Raspberry Pi
(2023-10-25)
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 ...