Giters

jheiling / idris-electron

Electron bindings for Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idriselectron

idris-electron

Electron bindings for Idris

Dependencies

extras
js

About

Electron bindings for Idris

idriselectron

License:The Unlicense

Languages

Language:Idris 87.4%Language:Shell 9.3%Language:HTML 3.3%