GitHub repository: stepcut/idris-blink
Primary language: Makefile
Description: A simple Idris program to blink the LED on an Arduino