Comment Comment by noam87 Idris?It can compile small enough to run on an Arduino: https://github.com/stepcut/idris-blink parent noam87 8 years ago
It can compile small enough to run on an Arduino: https://github.com/stepcut/idris-blink