A GTK binding for Idris2
idris2 --install ./package.ipkgmake -C ./example/hello
./example/hello/bin/hello
generated from dannypsnl-fork/idris-project
-
Notifications
You must be signed in to change notification settings - Fork 0
Idris2 GTK binding
License
dannypsnl-fork/idris-gtk
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|