Giters

jheiling / idris-react

React bindings for Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idrisreact

idris-react

React bindings for Idris

Dependencies

extras
js

About

React bindings for Idris

idrisreact

License:The Unlicense

Languages

Language:Idris 81.1%Language:HTML 11.5%Language:Shell 7.4%