/idris-electron

Electron bindings for Idris

Primary LanguageIdrisThe UnlicenseUnlicense

idris-electron

Electron bindings for Idris

Dependencies

extras
js