Y
Hacker News
new
|
ask
|
show
|
jobs
by
noam87
3005 days ago
Idris?
It can compile small enough to run on an Arduino:
https://github.com/stepcut/idris-blink