3 ms·
Idris? It can compile small enough to run on an Arduino: https://github.com/stepcut/idris-blink https://github.com/stepcut/idris-blink
by noam87 9y ago
Idris?
It can compile small enough to run on an Arduino: https://github.com/stepcut/idris-blink https://github.com/stepcut/idris-blink