A basic countdown timer written in Idris for getting use to the standard library and because I simply want a handy utility.
Runs 'command.sh' once the countdown is finished.
robkorn/idris-cli-timer
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|