https://github.com/bamboo/wm2020-hackathon-idris-click

A metronome app written in Idris 2
https://github.com/bamboo/wm2020-hackathon-idris-click

flutter idris2 metronome

Last synced: about 1 month ago
JSON representation

A metronome app written in Idris 2

• Host: GitHub
• URL: https://github.com/bamboo/wm2020-hackathon-idris-click
• Owner: bamboo
• Created: 2020-11-05T11:33:07.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2020-11-05T21:38:19.000Z (about 4 years ago)
• Last Synced: 2024-10-28T19:57:23.695Z (3 months ago)
• Topics: flutter, idris2, metronome
• Language: JavaScript
• Homepage:
• Size: 53 MB
• Stars: 1
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# idrisclick

## Building

The app is located in the idrisclick directory. cd into that directory and continue there with:

Build `lib/main.dart` with:

    $ idris2dart --build idrisclick.ipkg

Repair the Flutter app (needs to be done only once) with:

    $ flutter create .

Run it from the command line with:

    $ flutter run

Or from your IDE of choice by navigating to the generated `main` function and starting it from there.

## Setting up a hot reload workflow

I like to use [entr](http://eradman.com/entrproject/):

    $ find lib -iname "*.idr" | entr time idris2dart --build idrisclick.ipkg

Combined with the Flutter extension for Visual Studio Code which lets me hot reload after each successful recompilation via `CTRL+F5`.