Giters

justjoheinz / IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

About

FFI Bindings to interact with the unsafe world of JavaScript

License:BSD 2-Clause "Simplified" License

Languages

Language:Idris 99.4%Language:Makefile 0.6%